yeslogic / fathomLinks
π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
β266Updated 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
- Macros have types!β133Updated 2 years ago
- A pure functional language for type-level programming in Rustβ336Updated 3 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β109Updated 3 months ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ253Updated 3 years ago
- β324Updated last week
- Wadler-style pretty-printing combinators in Rustβ172Updated last month
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β625Updated 4 years ago
- Forth for Rust's trait systemβ230Updated 5 years ago
- hindley-milner algorithmβ62Updated 2 years ago
- β94Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macroβ71Updated 5 months ago
- A compiler for Standard ML, somewhatβ204Updated 3 years ago
- a pragmatic point-free theorem prover assistantβ143Updated last month
- A functional programming languageβ48Updated 5 years ago
- β174Updated 2 months ago
- β259Updated 11 months ago
- GLL parsing framework.β138Updated last year
- General-purpose abstractions for incremental computing, in Rustβ361Updated 3 years ago
- An LLVM compiler for an ML-like language (written in Rust)β61Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β53Updated 7 months ago
- Functional language with a powerful type system.β172Updated last year
- Rust bindings for libgccjit.β52Updated 2 years ago
- Resilient LL(1) parser generator for Rustβ177Updated 2 weeks ago
- The IntercalScript programming languageβ138Updated 5 years ago
- π j is a subset of J, and an essay.β51Updated 3 months ago
- yk packagesβ33Updated this week
- β62Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated 2 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combineβ92Updated 4 years ago