✨ File format and optimizer for programs encoded in binary lambda calculus
-
Updated
Jan 21, 2024 - C
#
binary-lambda-calculus
Here are 8 public repositories matching this topic...
🧜♀️ The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
-
Updated
Jan 21, 2024 - C
-
Updated
Nov 2, 2018 - Julia
📚️ A repository for showcasing my knowledge of the Binary Lambda Calculus programming language, and continuing to learn the language.
education collection knowledge article gplv3 learn gpl3 binary-lambda-calculus seanpm2001-life-archive seanpm2001 seanpm2001-education seanpm2001-learn seanpm2001-docs seanpm2001-documentation seanpm2001-languages binary-lambda-calculus-language binary-lambda-calculus-lang learn-binary-lambda-calculus learn-binary-lambda-calculus-language learn-binary-lambda-calculus-lang
-
Updated
Jul 19, 2024 - HTML
⌨️ The Binary Lambda Calculus programming language IDE submodule for SNU Programming Tools (2D Mode)
web-development programming web-ide gplv3 ide snu gpl3 binary-lambda-calculus snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snuprogramming-tools snu2dprogrammingtools snu2dprogramming-tools binary-lambda-calculus-language binary-lambda-calculus-lang
-
Updated
Jul 19, 2024 - HTML
A Rust implementation of Lambda calculus
-
Updated
Apr 22, 2025 - Rust
Convert BLC to other BLC encodings!
-
Updated
Sep 8, 2024 - C
blam — binary lambda machine: classical and quantum algorithmic information theory in binary lambda calculus. Exhaustive censuses, BBλ frontiers, Ω/K measurements, Lean-checked divergence certificates.
rust lambda-calculus quantum-computing kolmogorov-complexity algorithmic-information-theory binary-lambda-calculus halting-problem busy-beaver lean4 solomonoff-induction
-
Updated
Aug 21, 2026 - Lean
Add this topic to your repo
To associate your repository with the binary-lambda-calculus topic, visit your repo's landing page and select "manage topics."