Alternatives and similar repositories for ebnf:

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

• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated last year
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 2 weeks ago
• fosskers / rs-versions
  A library for parsing and comparing software version numbers.
  ☆26Updated 2 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆91Updated 3 weeks ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 9 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆25Updated 5 months ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆17Updated this week
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆19Updated 8 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• kennytm / rand_regex
  Generates random strings and byte strings matching a regex
  ☆32Updated 2 months ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆22Updated last month
• graydon / panic-room
  ☆16Updated 9 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆78Updated 3 weeks ago
• messense / lddtree-rs
  Read the ELF dependency tree
  ☆34Updated 4 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month
• mqudsi / rsconf
  Build-time configure scripts for Rust
  ☆61Updated 3 months ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆107Updated last year
• tchajed / rdb
  Debugger written in Rust
  ☆22Updated 2 years ago
• rodrimati1992 / konst
  Const equivalents of std functions, compile-time comparison, and parsing.
  ☆96Updated 3 months ago
• pczarn / cfg
  Library for manipulating context-free grammars in Rust.
  ☆22Updated 4 months ago
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆23Updated last month
• weiznich / rust-foundation-community-grant
  ☆20Updated 2 years ago
• foresterre / peekmore
  👀 Multi-peek iterator (no-std)
  ☆26Updated 4 months ago
• kurtschelfthout / finally-tagless
  ☆16Updated last year
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 2 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month