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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
woodrush/lambdalisp | Common LispMakefileShell | 210 | 0 | 9 | 0 |
woodrush/lambdacraft | Common LispMakefileC | 20 | 0 | 1 | 0 |
ucsd-progsys/elsa | Haskell | 172 | 0 | 22 | 0 |
info-mono/diyfetch | Shell | 179 | +2 | 3 | 0 |
woodrush/lambda-8cc | Common LispMakefileAssembly | 567 | 0 | 15 | 0 |
sdiehl/write-you-a-haskell | HaskellCSSOCaml | 3.3k | -2 | 262 | 0 |
system-fonts/modern-font-stacks | HTMLCSSJavaScript | 1.9k | 0 | 29 | 0 |
marvinborner/bruijn | HaskellVim ScriptShell | 30 | 0 | 1 | 0 |
marvinborner/birb | Haskell | 45 | 0 | 2 | 0 |