Alternatives and similar repositories for menhir

Users that are interested in menhir are comparing it to the libraries listed below

• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 11 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆31Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 5 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated last year
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆99Updated this week
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated this week
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆73Updated last month
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆50Updated last month
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last month
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 6 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆72Updated this week
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆94Updated 7 months ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 4 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆94Updated 4 months ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆48Updated 8 months ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆90Updated 3 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 8 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago