A category theory and functional programing library for Zig language
☆70Nov 30, 2025Updated 3 months ago
Alternatives and similar repositories for zig-cats
Users that are interested in zig-cats are comparing it to the libraries listed below
Sorting:
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- tree-sitter grammar for moonbit☆38Feb 10, 2026Updated 3 weeks ago
- Build type-safe finite state machines with higher-order states.☆229Feb 24, 2026Updated last week
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 3 months ago
- A Zig OOP solution☆34Sep 1, 2025Updated 6 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Effects-based OCaml Nameserver☆39Dec 3, 2025Updated 3 months ago
- Improve the zig experience in neovim☆34Nov 14, 2025Updated 3 months ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 7 months ago
- Markup and print strings to the terminal☆11Feb 16, 2026Updated 2 weeks ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated 2 months ago
- CS410 "Advanced Functional Programming"☆30Updated this week
- TLS 1.3/1.2 client and TLS 1.3 server in Zig☆126Jan 29, 2026Updated last month
- Type Checking in Lean 4☆34Feb 19, 2026Updated last week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 10 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 3 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- ☆16Nov 6, 2022Updated 3 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 weeks ago
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- A powerful HTTP networking package for MoonBit.☆19Oct 18, 2025Updated 4 months ago
- Tiny and fast ELF parsing library for Zig.☆18Nov 19, 2025Updated 3 months ago
- A fuzzy finder with GUI (inspired by fzf)☆14Oct 29, 2020Updated 5 years ago
- Zig module for portably serializing and deserializing data☆19Apr 15, 2025Updated 10 months ago
- async programming library for MoonBit☆58Updated this week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Feb 2, 2026Updated last month
- 🔧 Fast and tiny Node.js tools, for Node.js version manager and Node.js registry manager, built in Moonbit☆14Jan 14, 2026Updated last month
- ☆32Oct 2, 2025Updated 5 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- https://red-temperature.netlify.app☆14Nov 21, 2025Updated 3 months ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Collect various materials in the process of learning go plan9 assembly and share notes.☆17Jan 2, 2026Updated 2 months ago