A category theory and functional programing library for Zig language
☆81Apr 30, 2026Updated 5 months ago
Alternatives and similar repositories for zig-cats
Users that are interested in zig-cats are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VSCode support for Forester☆24Nov 17, 2025Updated 10 months ago
- Native Zig TypeScript runtime and Agent Compiler...☆20Updated this week
- An implementation of an augmented red-black tree in Zig with 3 layers of abstraction☆16Oct 3, 2026Updated last week
- Improve the zig experience in neovim☆41May 4, 2026Updated 5 months ago
- Build type-safe finite state machines with higher-order states.☆235May 7, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- Zig module for portably serializing and deserializing data☆18Apr 15, 2025Updated last year
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 3 years ago
- 🔧 Fast and tiny Node.js tools, for Node.js version manager and Node.js registry manager, built in Moonbit☆16Jan 14, 2026Updated 9 months ago
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆73Oct 7, 2026Updated last week
- A Zig OOP solution☆36Updated this week
- Skills helping you write robust Zig code.☆47Updated this week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆36Updated this week
- A package to compile LuaJIT using the Zig toolchain. Install to access the LuaJIT C API. For Zig API see https://github.com/sackosoft/zig…☆25May 5, 2026Updated 5 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.
- AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆30Sep 30, 2026Updated 2 weeks ago
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- Tofu - Async messaging for enterprise systems☆35Jun 7, 2026Updated 4 months ago
- ☆15Oct 2, 2025Updated last year
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 3 months ago
- ECS inspired by the rust Bevy ecs api but FASTER!☆26Jun 11, 2026Updated 4 months ago
- Small collection of data types/structures, utilities & open-learning with Zig☆46Sep 12, 2025Updated last year
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 9 months ago
- Lean 形式化数学☆21Dec 20, 2025Updated 9 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.
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 5 months ago
- A property-based testing framework for Zig ⚡☆34Oct 3, 2026Updated last week
- Global mutable comptime state in Zig with the global error set☆29Aug 12, 2024Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- https://red-temperature.netlify.app☆14Nov 21, 2025Updated 10 months ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago
- ⚡️ Load, parse, and manage environment variables from .env files efficiently in zig.☆30Oct 4, 2026Updated last week
- 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.
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 5 months ago
- Simple, lightweight, and privacy-friendly error tracking.☆13Feb 26, 2026Updated 7 months ago
- A DuckDB driver for Zig☆190Oct 4, 2026Updated last week
- 🩺 A library for compiler diagnostics☆56Jun 19, 2026Updated 3 months ago
- TurboDB — a blazing-fast NoSQL document database written in Zig. mmap + WAL + B-tree + MVCC.☆21May 1, 2026Updated 5 months ago
- ☆54May 4, 2025Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 5 months ago