🚧 (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! 🚧 🚧 🚧☆623May 16, 2021Updated 4 years ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,285Feb 28, 2026Updated last month
- 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☆791Apr 1, 2026Updated last week
- Various font tools built using Allsorts☆81Nov 20, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 6 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆706Apr 1, 2026Updated last week
- a functional programming language with algebraic effects and handlers☆82Feb 17, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A fast, concurrent string interner☆168Aug 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☆17Mar 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,159Mar 23, 2025Updated last year
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆100Sep 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 last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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,092Sep 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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,989Feb 8, 2026Updated 2 months ago