π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
β268Sep 6, 2023Updated 2 years ago
Alternatives and similar repositories for fathom
Users that are interested in fathom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β624May 16, 2021Updated 4 years ago
- Beautiful diagnostic reporting for text-based programming languages.β1,282Feb 28, 2026Updated 3 weeks ago
- Normalization by evaluation for Martin-LΓΆf Type Theory with dependent recordsβ102Jun 8, 2022Updated 3 years ago
- Font parser, shaping engine, and subsetter implemented in Rustβ793Feb 5, 2026Updated last month
- Various font tools built using Allsortsβ81Nov 20, 2025Updated 4 months ago
- Dependent type checker using normalisation by evaluationβ275Sep 5, 2024Updated last year
- Toy typechecker for Insanely Dependent Typesβ82Oct 15, 2025Updated 5 months ago
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- A work-in-progess programming language modeled after Ada and C++β25Dec 11, 2022Updated 3 years ago
- the Dependent Unboxed higher-oRder Intermediate Notationβ14Feb 8, 2022Updated 4 years ago
- Type-Level Programming in Rustβ27Dec 29, 2021Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.β15Mar 26, 2020Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ706Mar 2, 2026Updated 3 weeks ago
- a functional programming language with algebraic effects and handlersβ81Feb 17, 2025Updated last year
- A fast, concurrent string internerβ167Aug 19, 2024Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.β12Apr 17, 2021Updated 4 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ16Mar 4, 2024Updated 2 years ago
- An esoteric RPN golfing languageβ24Sep 3, 2022Updated 3 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'β12Oct 13, 2019Updated 6 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,161Mar 23, 2025Updated last year
- Dependently-typed row-polymorphic programming language, evolved from minitt-rsβ99Sep 21, 2020Updated 5 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Jun 7, 2021Updated 4 years ago
- a self-hosting lambda calculus compilerβ37Mar 31, 2025Updated 11 months ago
- A dependent type theory with user defined data typesβ47Oct 1, 2021Updated 4 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)β17Apr 22, 2024Updated last year
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 5 years ago
- A WIP little dependently-typed systems languageβ41Aug 13, 2024Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22May 20, 2021Updated 4 years ago
- An experimental programming language.β19May 16, 2019Updated 6 years ago
- A small extensible programming language designed for concise expression with little code.β1,085Sep 11, 2024Updated last year
- A simple tool to explore a TrueType font content as a treeβ30Jan 4, 2022Updated 4 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Nov 27, 2021Updated 4 years ago
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ64Oct 26, 2023Updated 2 years ago
- Functional programming with fewer indirectionsβ780Aug 20, 2020Updated 5 years ago
- A Rust library for low-level text layout.β334Jul 22, 2022Updated 3 years ago
- The Curly programming language (now in Rust!)β31May 19, 2021Updated 4 years ago
- Typed Ξ»-calculus in Rustβ30Jun 27, 2023Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ1,986Feb 8, 2026Updated last month