Alternatives and similar repositories for simplebnf.typ:

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

• hongseok-yang / graduatePL23
  ☆19Updated last year
• damhiya / Coq-tips
  ☆11Updated last year
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆40Updated last year
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆34Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• hongseok-yang / logic23
  ☆15Updated last year
• hongseok-yang / logic24
  ☆12Updated 9 months ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆26Updated 2 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆62Updated this week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆22Updated last month
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆21Updated this week
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆57Updated 10 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 4 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆23Updated last week
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆57Updated last week
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• kokic / kodama
  A Typst-friendly static Zettelkasten site generator.
  ☆44Updated this week
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated last month
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 weeks ago
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆23Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆18Updated 2 years ago
• kwanghoon / bidi
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• lexa-lang / lexa
  ☆30Updated 5 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated 2 weeks ago
• art-w / unicorn
  Purely functional GUI algebra
  ☆75Updated 2 years ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆84Updated last week