sgillespie/lambda-calculus

An introduction to the Lambda Calculus

lambda-calculussystem-f
This is stars and forks stats for /sgillespie/lambda-calculus repository. As of 03 May, 2024 this repository has 86 stars and 15 forks.

Lambda Calculus An introduction to the Lambda Calculus Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application. This project is intended to be an educational resource for learning and implementing functional programming languages. Looking for Lambda Calculator? It's been moved to sgillespie/lambda-calculator Introduction to Lambda Calculus Introductory material is provided. They can be found at doc/lambda-calculus.md doc/system-f.md Extended...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
woodrush/lambdalispCommon LispMakefileShell210090
woodrush/lambdacraftCommon LispMakefileC20010
ucsd-progsys/elsaHaskell1720220
info-mono/diyfetchShell179+230
woodrush/lambda-8ccCommon LispMakefileAssembly5670150
sdiehl/write-you-a-haskellHaskellCSSOCaml3.3k-22620
system-fonts/modern-font-stacksHTMLCSSJavaScript1.9k0290
marvinborner/bruijnHaskellVim ScriptShell30010
marvinborner/birbHaskell45020