A category theory and functional programing library for Zig language
☆81Apr 30, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VSCode support for Forester☆23Nov 17, 2025Updated 8 months ago
- 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 2 months ago
- Improve the zig experience in neovim☆42May 4, 2026Updated 3 months ago
- Build type-safe finite state machines with higher-order states.☆235May 7, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 7 months ago
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆60Jul 4, 2026Updated last month
- Skills helping you write robust Zig code.☆36May 17, 2026Updated 2 months ago
- A Zig OOP solution☆36Apr 28, 2026Updated 3 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆35Updated 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 3 months ago
- AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆25Updated this week
- 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.
- Tofu - Async messaging for enterprise systems☆33Jun 7, 2026Updated 2 months ago
- ☆15Oct 2, 2025Updated 10 months ago
- HoTT Book formalisations in Rzk.☆23Jun 15, 2026Updated 2 months ago
- ECS inspired by the rust Bevy ecs api but FASTER!☆27Jun 11, 2026Updated 2 months ago
- Small collection of data types/structures, utilities & open-learning with Zig☆47Sep 12, 2025Updated 11 months ago
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 7 months ago
- Lean 形式化数学☆19Dec 20, 2025Updated 7 months ago
- 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
- 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.
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 3 months ago
- A property-based testing framework for Zig ⚡☆30Jul 19, 2026Updated 3 weeks ago
- 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 2 years ago
- 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 2 months ago
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 3 months ago
- Simple, lightweight, and privacy-friendly error tracking.☆13Feb 26, 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 DuckDB driver for Zig☆186Apr 20, 2026Updated 3 months ago
- 🩺 A library for compiler diagnostics☆55Jun 19, 2026Updated last month
- TurboDB — a blazing-fast NoSQL document database written in Zig. mmap + WAL + B-tree + MVCC.☆21May 1, 2026Updated 3 months ago
- ☆54May 4, 2025Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 3 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 8 months ago
- Nim bindings for wayland☆13Aug 13, 2019Updated 7 years ago