🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
☆264Sep 6, 2023Updated 3 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! 🚧 🚧 🚧☆620May 16, 2021Updated 5 years ago
- Various font tools built using Allsorts☆82Apr 8, 2026Updated 6 months ago
- Font parser, shaping engine, and subsetter implemented in Rust☆802May 13, 2026Updated 5 months ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,300Feb 28, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆104Jun 8, 2022Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- a functional programming language with algebraic effects and handlers☆84Feb 17, 2025Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- An esoteric RPN golfing language☆23Sep 3, 2022Updated 4 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,162Mar 23, 2025Updated last year
- The Curly programming language (now in Rust!)☆31May 19, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆741Jul 21, 2026Updated 3 months ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A fast, concurrent string interner☆173Aug 19, 2024Updated 2 years ago
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- A small extensible programming language designed for concise expression with little code.☆1,092Apr 22, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆100Sep 21, 2020Updated 6 years ago
- Toy typechecker for Insanely Dependent Types☆92Oct 15, 2025Updated last year
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Aug 31, 2026Updated 2 months 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 compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- A declarative concatenative programming language☆176Feb 20, 2026Updated 8 months ago
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Functional programming with fewer indirections☆785Aug 20, 2020Updated 6 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- A Rust library for low-level text layout.☆335Jul 22, 2022Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆63Oct 26, 2023Updated 3 years ago