yeslogic / fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
☆263Updated 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☆162Updated 2 years ago
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆616Updated 3 years ago
- ☆228Updated 4 months ago
- ☆316Updated 5 months ago
- Macros have types!☆129Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- GLL parsing framework.☆137Updated last year
- Wadler-style pretty-printing combinators in Rust☆155Updated last month
- garbage collection☆321Updated 5 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- Datalog compiler embedded in Rust as a procedural macro☆471Updated last year
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- Pure functional Lisp implemented in Rust☆207Updated 3 years ago
- Forth for Rust's trait system☆229Updated 4 years ago
- PEG parser combinators using operator overloading without macros.☆510Updated 2 months ago
- ☆172Updated 5 months ago
- Garbage collected smart pointers for Rust☆268Updated 3 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 6 years ago
- Resilient LL(1) parser generator for Rust☆139Updated this week
- You might not need your garbage collector☆540Updated 4 years ago
- A Rust implementation of the Cassowary constraint solving algorithm☆340Updated 5 years ago
- ☆135Updated 2 years ago
- Compile-time reference counting☆442Updated last year
- Concrete Syntax Tree library☆93Updated 3 weeks ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- hindley-milner algorithm☆58Updated last year
- a model of MIR and the Rust type/trait system☆298Updated last month
- Logic programming in Rust☆460Updated last month