🧮 Programming with pure lambda calculus
programming-language lambda-calculus combinatory-logic church-encoding balanced-ternary abstract-machine de-bruijn call-by-need
-
Updated
Jul 16, 2026 - Haskell
#
de-bruijn
Here are 12 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
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
-
Updated
Sep 21, 2022 - Agda
An implementation and tutorial for Lambda Calculus in Rust
rust parser vuejs tutorial parse lambda-calculus wasm rust-library rust-macro vitepress de-bruijn rust-macros
-
Updated
Mar 23, 2025 - Rust
A Lean 4 Certified Proof of 3D Aperiodic Einstein Quasicrystals by Triviality of the Projection Kernel.
research mathematics discrete-mathematics computational-geometry formal-verification delaunay-triangulation discrete-geometry mathlib quasicrystal projection-matrix academic-research de-bruijn lean4 aperiodic-monotile quasicrystals einstein-tile hat-tiling interactive-theorem-prover meyer-set trivial-kernel
-
Updated
Aug 24, 2026 - C++
Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.
graph-theory formal-verification interactive-theorem-proving irrationality mathlib zulip-bot chromatic-number de-bruijn lean4 2pi formal-proof k-colorability toroidal-topology hadwiger-nelson-problem moser-spindle unit-distance-graph pigeonhole-principle proof-by-exclusion
-
Updated
Jul 20, 2026 - Lean
Some type-level magic in some languages.
-
Updated
May 11, 2022 - Rust
-
Updated
Dec 2, 2021 - Rust
-
Updated
Dec 2, 2021 - Rust
Layered DDoS-filtering PoC: de Bruijn locator + slot-bound HMAC tag with stateless knock verification. Research prototype, pre-production.
proof-of-concept stateless ddos-mitigation security-research port-knocking embedded-security single-packet-authorization de-bruijn defensive-publication
-
Updated
Jul 28, 2026 - HTML
Lyndon words, Duval factorization, necklace and bracelet enumeration, and De Bruijn sequences in pure Python.
-
Updated
Aug 1, 2026 - Python
Add this topic to your repo
To associate your repository with the de-bruijn topic, visit your repo's landing page and select "manage topics."