marvinborner/lambda-core - Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.

Branch	Commit message	Author	Age
main	Add bruijn	Marvin Borner	8 weeks


Age	Commit message	Author
2025-02-02	Add bruijnHEAD main	Marvin Borner
2025-02-01	Merge pull request #10 from ebb/ebb-patch-1	Kyle Serrecchia
2025-02-01	Update README.md	Eric Bergstrome
2025-02-01	Create local.make	Eric Bergstrome
2025-02-01	Create README.md	Eric Bergstrome
2025-02-01	Create lambda-core.84	Eric Bergstrome
2025-02-01	Merge pull request #9 from PiaCOS/go	Kyle Serrecchia
2025-02-01	Merge pull request #8 from Gryfenfer97/main	Kyle Serrecchia
2025-02-01	Merge branch 'kserrec:main' into go	PiaCOS
2025-02-01	Add support for golang	piaCOS
2025-02-01	Merge pull request #7 from PiaCOS/python	Kyle Serrecchia
2025-02-01	transform pred in a lambda function	Gryfenfer97
2025-02-01	add pred function	Gryfenfer97
2025-02-01	Add C++ language	Gryfenfer97
2025-02-01	Add examples for the python language	piaCOS
2025-01-31	Merge pull request #4 from lost22git/elixir	Kyle Serrecchia
2025-01-31	Merge pull request #5 from FizzyElt/ocaml	Kyle Serrecchia
2025-01-31	Create LICENSE	Kyle Serrecchia
2025-01-31	Merge pull request #2 from Salanoid/main	Kyle Serrecchia
2025-01-31	Merge pull request #3 from nitincodery/clojure	Kyle Serrecchia
2025-01-31	ADD: Print tests and results to stdout	nitincodery
2025-02-01	lambda core with ocaml	FizzyElt
2025-01-31	FIX: Test runner	nitincodery
2025-01-31	FIX: Factorial with church numerals	nitincodery
2025-01-31	add elixir impl	lost
2025-01-31	ADD: Y-Combinator in Clojure	nitincodery
2025-01-31	ADD: Source to repo + blog posts from author	nitincodery
2025-01-31	FIX: Add New line in README file	nitincodery
2025-01-31	ADD: README file	nitincodery
2025-01-31	Add ruby version	Salajan Silviu
[...]

Clone
https://git.marvinborner.de/marvinborner/lambda-core