yeslogic / fathomLinks
π§ (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
Sorting:
- A meta-JIT library for Rust interpretersβ162Updated 2 years ago
- A pure functional language for type-level programming in Rustβ330Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ252Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β618Updated 4 years ago
- β316Updated 7 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β88Updated last month
- β172Updated 7 months ago
- Datalog compiler embedded in Rust as a procedural macroβ473Updated last year
- Macros have types!β129Updated 2 years ago
- Resilient LL(1) parser generator for Rustβ158Updated last week
- GLL parsing framework.β137Updated last year
- Wadler-style pretty-printing combinators in Rustβ158Updated 2 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ218Updated 7 months ago
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β113Updated 2 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β111Updated 6 years ago
- You might not need your garbage collectorβ543Updated 5 years ago
- A compiler for Standard ML, somewhatβ202Updated 3 years ago
- Compile-time reference countingβ448Updated 2 weeks ago
- The practical relational programing language for data-oriented applicationsβ203Updated 2 years ago
- A fast functional language based on two level type theoryβ390Updated 2 years ago
- A declarative concatenative programming languageβ164Updated 7 months ago
- Pure functional Lisp implemented in Rustβ208Updated 3 years ago
- Forth for Rust's trait systemβ230Updated 4 years ago
- hindley-milner algorithmβ61Updated 2 years ago
- The IntercalScript programming languageβ138Updated 4 years ago
- A WIP little dependently-typed systems languageβ41Updated 9 months ago
- Logic programming in Rustβ466Updated 3 weeks ago
- β206Updated 11 months ago
- β239Updated 6 months ago