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 meta-JIT library for Rust interpretersβ163Updated 2 years ago
- A pure functional language for type-level programming in Rustβ330Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β620Updated 4 years ago
- GLL parsing framework.β137Updated last year
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ251Updated 2 years ago
- β317Updated 7 months ago
- Macros have types!β129Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macroβ474Updated last year
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- Wadler-style pretty-printing combinators in Rustβ158Updated 3 months ago
- β244Updated 6 months ago
- a pragmatic point-free theorem prover assistantβ140Updated last year
- Forth for Rust's trait systemβ229Updated 5 years ago
- A demand-driven compiler with strong IDE supportβ196Updated 3 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ220Updated 7 months ago
- β136Updated 3 years ago
- Pure functional Lisp implemented in Rustβ208Updated 3 years ago
- garbage collectionβ321Updated 5 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β112Updated 6 years ago
- A compiler for Standard ML, somewhatβ203Updated 3 years ago
- Resilient LL(1) parser generator for Rustβ159Updated this week
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β113Updated 2 years ago
- The practical relational programing language for data-oriented applicationsβ204Updated 2 years ago
- A declarative concatenative programming languageβ164Updated 8 months ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combineβ90Updated 3 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.β157Updated last year
- A new register allocatorβ231Updated last month
- An interface for writing a RustTypeChecker.β43Updated 2 years ago
- β94Updated last year