Alternatives and similar repositories for simplebnf

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

• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• DeepSpec / sf
  ☆13Updated 4 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated this week
• snu-sf / paco
  A Coq library for parametric coinduction
  ☆49Updated 3 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆60Updated last week
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆66Updated 2 weeks ago
• smtcoq / sniper
  ☆36Updated last month
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆99Updated this week
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 6 months ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated 8 months ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆30Updated 8 months ago
• rocq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
  ☆20Updated last week
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆166Updated last week
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆48Updated last month
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated 2 weeks ago
• Beluga-lang / McTT
  A bottom-up approach to a verified implementation of MLTT
  ☆19Updated this week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• epfl-systemf / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆13Updated 11 months ago
• math-comp / Abel
  A proof of Abel-Ruffini theorem.
  ☆29Updated 2 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated 2 weeks ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated this week
• Mtac2 / Mtac2
  ☆55Updated last month