hbr / Lambda-Calculus

Related projects ⓘ

Alternatives and complementary repositories for Lambda-Calculus

• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 4 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆64Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated this week
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆88Updated 2 weeks ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆54Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆50Updated last month
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• janestreet / ppx_jane
  Standard Jane Street ppx rewriters
  ☆31Updated 2 weeks ago
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 3 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆21Updated this week
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆122Updated last year
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 8 months ago
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated last year
• dannypsnl / minic
  Minimalist compiler course, based on Essential of Compilation
  ☆10Updated 3 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 7 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆43Updated 2 weeks ago
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago