yeslogic / fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
☆259Updated last year
Alternatives and similar repositories for fathom:
Users that are interested in fathom are comparing it to the libraries listed below
- A meta-JIT library for Rust interpreters☆161Updated last year
- ☆313Updated 2 months ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆613Updated 3 years ago
- A pure functional language for type-level programming in Rust☆324Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rust☆348Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- Macros have types!☆129Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆216Updated 2 months ago
- GLL parsing framework.☆137Updated 9 months ago
- ☆219Updated last month
- Pure functional Lisp implemented in Rust☆207Updated 3 years ago
- Forth for Rust's trait system☆228Updated 4 years ago
- Concrete Syntax Tree library☆88Updated 2 months ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆467Updated 10 months ago
- Compile-time reference counting☆440Updated last year
- Resilient LL(1) parser generator for Rust☆126Updated this week
- ☆173Updated 2 months ago
- garbage collection☆319Updated 5 years ago
- REGex in Rust with EcmaScript Syntax☆179Updated this week
- hindley-milner algorithm☆54Updated last year
- a pragmatic point-free theorem prover assistant☆137Updated last year
- You might not need your garbage collector☆540Updated 4 years ago
- A fast, concurrent string interner☆146Updated 4 months ago
- A Rust implementation of the Cassowary constraint solving algorithm☆341Updated 5 years ago
- Wadler-style pretty-printing combinators in Rust☆150Updated last year
- Logic programming in Rust☆439Updated last month
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- ☆50Updated last year
- A special input type for nom to locate tokens☆225Updated last year