Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: de-bruijn
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language: Haskell - Size: 1.34 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 72 - Forks: 0
sshwy/lamcalc
An implementation and tutorial for Lambda Calculus in Rust
Language: Rust - Size: 173 KB - Last synced: 12 days ago - Pushed: 2 months ago - Stars: 6 - Forks: 1
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: Agda - Size: 70.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 7 - Forks: 0
ggzor/type-level-magic
Some type-level magic in some languages.
Language: Rust - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
Wei1234c/de_Bruijn_sequence
de Bruijn sequence tools box.
Language: Jupyter Notebook - Size: 270 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
DPDmancul/closed-unitigs
Mirror of https://gitlab.com/DPDmancul/closed-unitigs
Language: Rust - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
DPDmancul/BCALM-viewer
Mirror of https://gitlab.com/DPDmancul/bcalm-viewer
Language: Rust - Size: 2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0