This is stars and forks stats for /woodrush/lambdacraft repository. As of 10 May, 2024 this repository has 20 stars and 1 forks.
LambdaCraft is a Common Lisp DSL for building untyped lambda calculus terms in a macro-based style. It is inspired by Ben Rudiak-Gould's Scheme program Lazier, a compiler from lambda terms written in Scheme to Lazy K. LambdaCraft is used to build LambdaLisp, a Lisp interpreter written in untyped lambda calculus. It can be used to write large programs in the following lambda-calculus-based languages: Binary Lambda Calculus Universal Lambda Lazy K LambdaCraft can also be used to build general-purpose...
LambdaCraft is a Common Lisp DSL for building untyped lambda calculus terms in a macro-based style. It is inspired by Ben Rudiak-Gould's Scheme program Lazier, a compiler from lambda terms written in Scheme to Lazy K. LambdaCraft is used to build LambdaLisp, a Lisp interpreter written in untyped lambda calculus. It can be used to write large programs in the following lambda-calculus-based languages: Binary Lambda Calculus Universal Lambda Lazy K LambdaCraft can also be used to build general-purpose...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
primefaces/sakai-vue | CSSVueOther | 199 | 0 | 129 | 0 |
iiijam/ice_live_viewer | DartC++CMake | 248 | 0 | 74 | 0 |
yura-pepsicola/PepsiBay13 | DMPythonHTML | 0 | 0 | 1 | 0 |
StephenGrider/ElixirCode | ElixirHTMLJavaScript | 1k | +4 | 334 | +1 |
kesnke/dotfiles | Emacs Lisp | 0 | 0 | 0 | 0 |
PierTwo/The-Chiefdom-Blog | HandlebarsJavaScriptCSS | 0 | 0 | 0 | 0 |
NLNOG/lg.ring.nlnog.net | HTMLPythonCSS | 34 | 0 | 44 | 0 |
Rezmason/matrix | JavaScriptWGSLGLSL | 3.1k | +4 | 183 | 0 |
adrianhajdin/project_music_player | JavaScriptCSSOther | 829 | 0 | 220 | 0 |
TheMuppets/proprietary_vendor_fairphone_FP4 | Makefile | 0 | 0 | 1 | 0 |