ChAoSUnItY / ebnfLinks
A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars
☆15Updated 4 months ago
Alternatives and similar repositories for ebnf
Users that are interested in ebnf are comparing it to the libraries listed below
Sorting:
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated this week
- UB-free and deterministic rustc fuzzer☆98Updated last month
- A different approach to an E-graph library☆28Updated 8 months ago
- Wasm Analysis Framework For Lightweight Experiments☆54Updated 7 months ago
- Scope Graph Implementation in Rust☆29Updated last year
- A high-level API for interacting with SMT solvers.☆33Updated 2 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆28Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆163Updated 4 months ago
- Rust bindings for libgccjit☆30Updated last week
- Idiomatic exceptions for Rust☆92Updated 6 months ago
- Proc macro implementation of #[naked]☆33Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆66Updated 10 months ago
- We have Crater At Home☆37Updated last year
- ☆40Updated last year
- automatially find crashes in the rust compiler & tooling☆80Updated last year
- An implementation of libc written in Rust☆317Updated 3 weeks ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆34Updated last year
- Read the ELF dependency tree☆40Updated last month
- Rust port of C++ llvm::APFloat library☆20Updated 2 months ago
- Generates random strings and byte strings matching a regex☆36Updated 8 months ago
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- SIMD base64 codecs☆88Updated 2 years ago
- Linux linker for x86 and x86-64☆31Updated 8 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 7 months ago
- QEMU for Rust, and Rust for QEMU☆90Updated last month
- Lightweight exceptions for Rust☆91Updated last month
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆341Updated last week
- How fast can we recognize a word from a small pre-determined set?☆88Updated last year
- A tool to help with minimization of Rust code☆67Updated 3 months ago