Similar repositories to owainlewis/lambda-calculus:

• owainlewis/lambda-calculus github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• omelkonian/lambda-calculus-interpreter github similar
• RyanGlScott/gists github similar
• hslua/hslua-examples github similar
• jamesdbrock/replace-attoparsec github similar
• clash-lang/clash-starters github similar
• waddlaw/TAPL github similar
• dreixel/generic-deriving github similar
• mrkkrp/parser-combinators github similar
• Bodigrim/chimera github similar
• google/mlir-hs github similar
• folq/haskell-to-elm github similar
• ljedrz/lambda_calculus github similar
• jamesdbrock/replace-megaparsec github similar
• Frege/frege-repl github similar
• haskell-hvr/missingh github similar
• blarney-lang/blarney github similar
• hspec/hspec-example github similar
• gallais/idris-tparsec github similar
• akeep/scheme-to-llvm github similar
• gallais/agdarsec github similar
• ChrisPenner/eve github similar
• haskellari/these github similar
• ollef/Bidirectional github similar
• rescript-lang/vim-rescript github similar
• codereport/SICP-2020 github similar
• haskell/ThreadScope github similar
• ucsd-progsys/elsa github similar
• david-christiansen/pie-hs github similar
• HackerFoo/poprc github similar
• uhub/awesome-coq github similar
• simonmar/happy github similar
• idris-hackers/idris-mode github similar
• tchajed/coq-tricks github similar
• simonmar/alex github similar
• stevenfontanella/microlens github similar
• quchen/prettyprinter github similar
• Holmusk/three-layer github similar