yeslogic / fathomLinks
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
☆264Updated last year
Alternatives and similar repositories for fathom
Users that are interested in fathom are comparing it to the libraries listed below
Sorting:
- A pure functional language for type-level programming in Rust☆331Updated 2 years ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Macros have types!☆129Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆251Updated 2 years ago
- ☆320Updated 8 months ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆621Updated 4 years ago
- Wadler-style pretty-printing combinators in Rust☆160Updated 3 months ago
- ☆244Updated 7 months ago
- A demand-driven compiler with strong IDE support☆196Updated 3 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆59Updated 3 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆94Updated this week
- GLL parsing framework.☆137Updated last year
- Resilient LL(1) parser generator for Rust☆162Updated 2 weeks ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆112Updated 6 years ago
- A fully-featured lexer generator, implemented as a proc macro☆69Updated last month
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- Forth for Rust's trait system☆229Updated 5 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆220Updated 8 months ago
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- ☆95Updated last year
- garbage collection☆321Updated 5 years ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- Oxide Programming Language☆134Updated 3 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 7 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- A gradually typed language originally based on the crafting interpreters series☆64Updated 7 months ago
- a model of MIR and the Rust type/trait system☆308Updated 2 weeks ago
- ☆137Updated 3 years ago