✨ File format and optimizer for programs encoded in binary lambda calculus
-
Updated
Jan 21, 2024 - C
#
binary-lambda-calculus
Here are 6 public repositories matching this topic...
-
Updated
Nov 2, 2018 - Julia
🧜♀️ The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
-
Updated
Jan 21, 2024 - C
📚️ 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
Convert BLC to other BLC encodings!
-
Updated
Sep 8, 2024 - C
Improve this page
Add a description, image, and links to the binary-lambda-calculus topic page so that developers can more easily learn about it.
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."