A category theory and functional programing library for Zig language
☆78Apr 30, 2026Updated 2 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:
- Native Zig TypeScript runtime that started as port of mquickjs to Zig... and... grew up to something bigger☆18Updated this week
- An implementation of an augmented red-black tree in Zig with 3 layers of abstraction☆16Jun 8, 2026Updated last month
- Improve the zig experience in neovim☆42May 4, 2026Updated 2 months ago
- Build type-safe finite state machines with higher-order states.☆235May 7, 2026Updated 2 months ago
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Zig module for portably serializing and deserializing data☆18Apr 15, 2025Updated last year
- an implementation of Observational Type Theory (OTT) and more☆31Oct 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 6 months ago
- Skills helping you write robust Zig code.☆33May 17, 2026Updated 2 months ago
- A Zig OOP solution☆36Apr 28, 2026Updated 2 months ago
- 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…☆24May 5, 2026Updated 2 months ago
- AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆26Updated this week
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- Tofu - Async messaging for enterprise systems☆30Jun 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Oct 2, 2025Updated 9 months ago
- HoTT Book formalisations in Rzk.☆23Jun 15, 2026Updated last month
- ECS inspired by the rust Bevy ecs api but FASTER!☆27Jun 11, 2026Updated last month
- Small collection of data types/structures, utilities & open-learning with Zig☆47Sep 12, 2025Updated 10 months ago
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 6 months ago
- Lean 形式化数学☆18Dec 20, 2025Updated 7 months ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 11 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 3 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.
- Runnable examples for Typed Clojure paper☆11Jul 2, 2015Updated 11 years ago
- A property-based testing framework for Zig ⚡☆29Jul 19, 2026Updated last week
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Global mutable comptime state in Zig with the global error set☆29Aug 12, 2024Updated last year
- https://red-temperature.netlify.app☆14Nov 21, 2025Updated 8 months ago
- Type Checking in Lean 4☆38Mar 22, 2026Updated 4 months ago
- ⚡️ Load, parse, and manage environment variables from .env files efficiently in zig.☆28Jun 2, 2026Updated last month
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 2 months ago
- A DuckDB driver for Zig☆184Apr 20, 2026Updated 3 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.
- Simple, lightweight, and privacy-friendly error tracking.☆13Feb 26, 2026Updated 5 months ago
- 🩺 A library for compiler diagnostics☆54Jun 19, 2026Updated last month
- Tiny and fast ELF parsing library for Zig.☆20Jun 30, 2026Updated 3 weeks ago
- TurboDB — a blazing-fast NoSQL document database written in Zig. mmap + WAL + B-tree + MVCC.☆19May 1, 2026Updated 2 months ago
- ☆53May 4, 2025Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 2 months ago
- A production-grade, high-performance numerical computing library for Zig, designed with a clean, intuitive, and developer-friendly API si…☆20Dec 8, 2025Updated 7 months ago