pczarn / paniniLinks
A general-purpose parser framework in Rust.
☆12Updated last year
Alternatives and similar repositories for panini
Users that are interested in panini are comparing it to the libraries listed below
Sorting:
- ☆14Updated 9 years ago
- A simple JIT library in Rust☆19Updated 11 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- ☆11Updated 9 years ago
- The HexagonE VM☆26Updated 3 years ago
- A Cargo subcommand for working with feL4 projects.☆52Updated 7 years ago
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Updated 8 years ago
- A linear solver designed to be easy to use with Rust enums.☆33Updated 4 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- GNUnet bindings for Rust☆15Updated 7 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- An API into the IPFS RPC from Rust☆23Updated 8 years ago
- ☆11Updated 4 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- A lightweight Datalog engine in Rust☆57Updated 7 months ago
- Reversible programming language☆12Updated 6 years ago
- A rust crate which implements nanboxing☆22Updated 8 years ago
- Logic programming, for Rust, from inside Rust.☆44Updated 5 years ago
- Rust XDR interoperability library and codegen☆16Updated 3 years ago
- An encoding, decoding & utility library for S-expressions in Rust☆37Updated 8 years ago
- A small standalone WebAssembly interpreter in Rust☆36Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- A compiler from Rust to C, and a checker for unsafe code☆84Updated 6 years ago
- A logic programming library (inspired by uKanren) in Rust.☆20Updated 9 years ago
- Arbitrary precision floating point in Rust☆19Updated 10 years ago
- ☆28Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 4 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 3 years ago