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β165Updated 2 years ago
- Macros have types!β131Updated 2 years ago
- A pure functional language for type-level programming in Rustβ334Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ251Updated 2 years ago
- Wadler-style pretty-printing combinators in Rustβ162Updated 5 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β103Updated 3 weeks ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β622Updated 4 years ago
- β323Updated 10 months ago
- Resilient LL(1) parser generator for Rustβ165Updated this week
- Rust testing framework for compilers and VMsβ51Updated 6 months ago
- GLL parsing framework.β137Updated last year
- hindley-milner algorithmβ62Updated 2 years ago
- A demand-driven compiler with strong IDE supportβ195Updated 3 years ago
- a pragmatic point-free theorem prover assistantβ141Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combineβ90Updated 4 years ago
- An LLVM compiler for an ML-like language (written in Rust)β59Updated 3 years ago
- β94Updated last year
- General-purpose abstractions for incremental computing, in Rustβ357Updated 3 years ago
- A fully-featured lexer generator, implemented as a proc macroβ69Updated 2 months ago
- Forth for Rust's trait systemβ230Updated 5 years ago
- Concrete Syntax Tree libraryβ100Updated 3 weeks ago
- A functional programming languageβ48Updated 5 years ago
- The IntercalScript programming languageβ138Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β114Updated 6 years ago
- β57Updated 2 years ago
- β249Updated 9 months ago
- Automagical variable binding library for Rustβ67Updated 5 years ago
- DVCS based on a sound theory of patchesβ138Updated 3 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ221Updated 9 months ago
- garbage collectionβ323Updated 6 years ago