Similar repositories to AlexKnauth/binary-lambda-calculus-lang:

• AlexKnauth/binary-lambda-calculus-lang github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• Iainmon/LambdaScript github similar
• lemire/jstypes github similar
• DIJamner/lambda-compiler github similar
• eqv/indika github similar
• mattgodbolt/cppcon-bits-between-bits github similar
• basil00/Fathom github similar
• lucasem/program-induction github similar
• janet-lang/janetui github similar
• mit-plv/bbv github similar
• L-TChen/Type-Theory github similar
• squarefeet/THREE.TargetCamera github similar
• facebookresearch/GAN-optimization-landscape github similar
• omasanori/franz-lisp github similar
• eschulte/curry-compose-reader-macros github similar
• lemire/FastIntegerCompression.js github similar
• steshaw/lennart-lambda github similar
• wilbowma/mttex github similar
• rpdelaney-archive/python-chess-annotator github similar
• cdparks/lambda-machine github similar
• bedrocksystems/BRiCk github similar
• lemire/TypedFastBitSet.js github similar
• trailofbits/manticore-examples github similar
• UlfNorell/agda-summer-school github similar
• endobson/racket-llvm github similar
• janet-lang/spork github similar
• XanaduAI/blackbird github similar
• clark800/lambda-zero github similar
• zingale/astro_animations github similar
• cfiandra/timeline github similar
• goerz/Refcards github similar
• gallais/generic-syntax github similar
• ljedrz/lambda_calculus github similar
• sweirich/lambda-n-ways github similar
• rgburke/wed github similar
• tenox7/ntutils github similar
• sjsyrek/malc github similar
• abella-prover/abella github similar