🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
☆267Sep 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! 🚧 🚧 🚧☆622May 16, 2021Updated 5 years ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,295Feb 28, 2026Updated 4 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆103Jun 8, 2022Updated 4 years ago
- Font parser, shaping engine, and subsetter implemented in Rust☆801May 13, 2026Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Various font tools built using Allsorts☆82Apr 8, 2026Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated last year
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Dec 11, 2022Updated 3 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆88Oct 15, 2025Updated 9 months ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Type-Level Programming in Rust☆29Dec 29, 2021Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆725Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- a functional programming language with algebraic effects and handlers☆82Feb 17, 2025Updated last year
- A fast, concurrent string interner☆170Aug 19, 2024Updated last year
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,156Mar 23, 2025Updated last year
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆100Sep 21, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated last year
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 4 years ago
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- The Curly programming language (now in Rust!)☆31May 19, 2021Updated 5 years ago
- A small extensible programming language designed for concise expression with little code.☆1,093Apr 22, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- 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☆786Aug 20, 2020Updated 5 years ago
- A Rust library for low-level text layout.☆335Jul 22, 2022Updated 4 years ago