13 skills found
tromp / AITAlgorithmic Information Theory, using Binary Lambda Calculus
jart / BlcBinary Lambda Calculus Virtual Machine
melvinzhang / Binary Lambda CalculusFor exploring http://www.ioccc.org/2012/tromp/hint.html
iczelia / Blc MbBinary Lambda Calculus evaluation engine written in Malbolge.
marvinborner / BLoC:sparkles: File format and optimizer for programs encoded in binary lambda calculus
AHartNtkn / Dependent Binary Lambda CalculusA Dependently Typed Esolang
ljedrz / BlcBinary lambda calculus
wedesoft / BlcBinary Lambda Calculus VM and DSL on top of it
neysofu / Lambda SquaredA binary λ-calculus (BLC) interpreter written only in Python lambdas.
sdiehl / BnlcBinary lambda calculus
phipsgabler / BinaryLambdaCalculus.jlNo description available
aartaka / Cl BlcCommon Lisp 🖤 Binary Lambda Calculus [MOVED TO CODEBERG]
marvinborner / BLoCade:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
