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β164Updated 2 years ago
- A pure functional language for type-level programming in Rustβ331Updated 2 years ago
- Macros have types!β131Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ251Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β101Updated this week
- An LLVM compiler for an ML-like language (written in Rust)β59Updated 3 years ago
- Wadler-style pretty-printing combinators in Rustβ162Updated 4 months ago
- A demand-driven compiler with strong IDE supportβ196Updated 3 years ago
- hindley-milner algorithmβ61Updated 2 years ago
- β321Updated 9 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β114Updated 6 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β621Updated 4 years ago
- a pragmatic point-free theorem prover assistantβ141Updated last year
- GLL parsing framework.β137Updated last year
- β94Updated last year
- Automagical variable binding library for Rustβ67Updated 5 years ago
- Forth for Rust's trait systemβ229Updated 5 years ago
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- Resilient LL(1) parser generator for Rustβ164Updated last week
- Jazz - modern and fast programming language.β93Updated 3 years ago
- β247Updated 8 months ago
- Concrete Syntax Tree libraryβ99Updated last week
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β114Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ221Updated 9 months ago
- A gradually typed language originally based on the crafting interpreters seriesβ64Updated this week
- A fully-featured lexer generator, implemented as a proc macroβ69Updated 2 months ago
- yk packagesβ33Updated this week
- A rust crate which implements nanboxingβ21Updated 7 years ago
- garbage collectionβ323Updated 6 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.β53Updated 4 years ago