https://github.com/phipsgabler/lambdacalculus.jl

Representations of lambda terms in a form you can work with

de-bruijn-notation lambda-calculus lambda-expressions locally-nameless

Last synced: 03 Jan 2026

https://github.com/meditans/co-de-bruijn

agda de-bruijn-notation lambda-calculus

Last synced: 02 Feb 2026

https://github.com/tom-weatherhead/facility

A Lambda Calculus interpreter implemented in C.

beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator

Last synced: 24 Jul 2025

https://github.com/sciencegenome/de-bruijn-graphs

construction of de Bruijn graphs using btreemaps

algorithms-bioinformatics bioinformatics de-bruijn-covering-sequences de-bruijn-graphs de-bruijn-notation de-bruijn-sequence genome-assembly

Last synced: 18 Mar 2025

https://github.com/ibchgenomic/de-bruijn-graphs

construction of de Bruijn graphs using btreemaps

algorithms-bioinformatics bioinformatics de-bruijn-covering-sequences de-bruijn-graphs de-bruijn-notation de-bruijn-sequence genome-assembly

Last synced: 11 Aug 2025