de-bruijn

There are 7 repositories under de-bruijn topic.

marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language:Haskell75 4 10
iwilare/church-rosser
A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for λ-terms and substitutions provided by the PLFA book
Language:Agda19 1 01
sshwy/lamcalc
An implementation and tutorial for Lambda Calculus in Rust
Language:Rust7 1 11
Wei1234c/de_Bruijn_sequence
de Bruijn sequence tools box.
Language:Jupyter Notebook1 2 0
DPDmancul/BCALM-viewer
Mirror of https://gitlab.com/DPDmancul/bcalm-viewer
Language:Rust2 0
DPDmancul/closed-unitigs
Mirror of https://gitlab.com/DPDmancul/closed-unitigs
Language:Rust2 0
ggzor/type-level-magic
Some type-level magic in some languages.
Language:Rust1 0