π§ (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
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,282Oct 22, 2025Updated 4 months ago
- Normalization by evaluation for Martin-LΓΆf Type Theory with dependent recordsβ102Jun 8, 2022Updated 3 years ago
- Toy typechecker for Insanely Dependent Typesβ82Oct 15, 2025Updated 4 months ago
- Font parser, shaping engine, and subsetter implemented in Rustβ793Feb 5, 2026Updated 3 weeks ago
- Various font tools built using Allsortsβ81Nov 20, 2025Updated 3 months ago
- Dependent type checker using normalisation by evaluationβ274Sep 5, 2024Updated last year
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ703Updated this week
- A fast, concurrent string internerβ165Aug 19, 2024Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.β15Mar 26, 2020Updated 5 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,158Mar 23, 2025Updated 11 months ago
- a functional programming language with algebraic effects and handlersβ81Feb 17, 2025Updated last year
- Dependently-typed row-polymorphic programming language, evolved from minitt-rsβ99Sep 21, 2020Updated 5 years ago
- A work-in-progess programming language modeled after Ada and C++β25Dec 11, 2022Updated 3 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Jun 7, 2021Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β54Mar 20, 2025Updated 11 months ago
- A simple tool to explore a TrueType font content as a treeβ30Jan 4, 2022Updated 4 years ago
- the Dependent Unboxed higher-oRder Intermediate Notationβ14Feb 8, 2022Updated 4 years ago
- A WIP little dependently-typed systems languageβ41Aug 13, 2024Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ16Mar 4, 2024Updated last year
- Type-Level Programming in Rustβ27Dec 29, 2021Updated 4 years ago
- An esoteric RPN golfing languageβ24Sep 3, 2022Updated 3 years ago
- Typed Ξ»-calculus in Rustβ30Jun 27, 2023Updated 2 years ago
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)β17Apr 22, 2024Updated last year
- A fancy diagnostics & error reporting crateβ2,132Jan 21, 2026Updated last month
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Genericallyβ21Jan 30, 2024Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ1,984Feb 8, 2026Updated 3 weeks ago
- A demand-driven compiler with strong IDE supportβ195Jun 6, 2022Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,772Feb 7, 2026Updated 3 weeks ago
- a self-hosting lambda calculus compilerβ37Mar 31, 2025Updated 11 months ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'β12Oct 13, 2019Updated 6 years ago
- The third iteration of the Lavender programming language, implemented in Rust.β12Apr 17, 2021Updated 4 years ago
- A small extensible programming language designed for concise expression with little code.β1,085Sep 11, 2024Updated last year
- A simple ML-like programming language with subtyping and full type inference.β188Dec 1, 2024Updated last year
- A general purpose relational languageβ19Feb 21, 2020Updated 6 years ago
- Capability-oriented version of the Rust standard libraryβ751Feb 15, 2026Updated 2 weeks ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ64Oct 26, 2023Updated 2 years ago