Alternatives and similar repositories for Lambda-Calculus

Users that are interested in Lambda-Calculus are comparing it to the libraries listed below

• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆73Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆110Updated 3 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated this week
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆145Updated 2 weeks ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆30Updated 6 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆62Updated 3 weeks ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆47Updated 5 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 2 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 5 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆30Updated 2 months ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 3 weeks ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆83Updated 2 months ago