yeslogic / fathomLinks
π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
β264Updated 2 years ago
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
- A pure functional language for type-level programming in Rustβ336Updated 2 years ago
- Macros have types!β131Updated 2 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ253Updated 2 years ago
- Wadler-style pretty-printing combinators in Rustβ168Updated last week
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β622Updated 4 years ago
- β94Updated last year
- GLL parsing framework.β137Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β107Updated 2 months ago
- A demand-driven compiler with strong IDE supportβ195Updated 3 years ago
- hindley-milner algorithmβ62Updated 2 years ago
- β324Updated 11 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β117Updated 6 years ago
- β253Updated 10 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β52Updated 6 months ago
- An LLVM compiler for an ML-like language (written in Rust)β60Updated 3 years ago
- Automagical variable binding library for Rustβ68Updated 6 years ago
- Concrete Syntax Tree libraryβ104Updated last week
- a pragmatic point-free theorem prover assistantβ142Updated 2 weeks ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combineβ92Updated 4 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ225Updated 11 months ago
- General-purpose abstractions for incremental computing, in Rustβ360Updated 3 years ago
- A fully-featured lexer generator, implemented as a proc macroβ70Updated 4 months ago
- A macro for defining type operators in Rust.β65Updated 8 years ago
- A functional programming languageβ48Updated 5 years ago
- A WIP little dependently-typed systems languageβ41Updated last year
- A Hindley-Milner polymorphic typing systemβ59Updated last year
- A compiler for Standard ML, somewhatβ203Updated 3 years ago
- A gradually typed language originally based on the crafting interpreters seriesβ64Updated 2 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rustβ131Updated 3 weeks ago