de-bruijn

There are 0 repository under de-bruijn topic.

bruijn
marvinborner / bruijn
:abacus: Programming with pure lambda calculus
balanced-ternary de-bruijn lambda-calculus programming-language abstract-machine call-by-need church-encoding combinatory-logic
Language:Haskell 73
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
agda lambda-calculus theorem-proving church-rosser de-bruijn plfa
Language:Agda 18
sshwy / lamcalc
An implementation and tutorial for Lambda Calculus in Rust
de-bruijn lambda-calculus parse parser rust rust-library rust-macro rust-macros tutorial vitepress vuejs wasm
Language:Rust 6
Wei1234c / de_Bruijn_sequence
de Bruijn sequence tools box.
de-bruijn de-bruijn-sequence
Language:Jupyter Notebook 1
DPDmancul / BCALM-viewer
Mirror of https://gitlab.com/DPDmancul/bcalm-viewer
de-bruijn de-bruijn-graphs unitigs bcalm bioinformatics graph
Language:Rust
DPDmancul / closed-unitigs
Mirror of https://gitlab.com/DPDmancul/closed-unitigs
de-bruijn-graphs de-bruijn graph bioinformatics basket-analysis bdc unitigs bcalm fasta
Language:Rust
ggzor / type-level-magic
Some type-level magic in some languages.
de-bruijn haskell lambda-calculus rust typelevel typelevel-programming typescript
Language:Rust

marvinborner / bruijn