A category theory and functional programing library for Zig language
☆81Apr 30, 2026Updated 6 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:
- A pico_sdk zig package that build zig projects by use the Raspberry PI Pico SDK☆12Apr 11, 2025Updated last year
- Native Zig TypeScript runtime and Agent Compiler...☆20Updated this week
- Zig module for portably serializing and deserializing data☆18Apr 15, 2025Updated last year
- Zig 语言中文社区☆30Oct 11, 2026Updated 3 weeks ago
- An implementation of an augmented red-black tree in Zig with 3 layers of abstraction☆16Oct 3, 2026Updated last month
- 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.
- Improve the zig experience in neovim☆41May 4, 2026Updated 6 months ago
- Build type-safe finite state machines with higher-order states.☆235May 7, 2026Updated 5 months ago
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- VSCode support for Forester☆24Nov 17, 2025Updated 11 months ago
- ECS inspired by the rust Bevy ecs api but FASTER!☆26Jun 11, 2026Updated 4 months ago
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- The Megalodon interactive theorem prover and proof checker☆15Apr 14, 2024Updated 2 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Zig OOP solution☆36Oct 10, 2026Updated 3 weeks ago
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆81Oct 7, 2026Updated 3 weeks ago
- AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆30Sep 30, 2026Updated last month
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆36Updated this week
- MoonBit support.☆21Oct 28, 2026Updated last week
- ☆15Oct 2, 2025Updated last year
- Tofu - Async messaging for enterprise systems☆35Jun 7, 2026Updated 4 months ago
- Experimental repl for zig☆15Apr 2, 2025Updated last year
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 9 months ago
- 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.
- Small collection of data types/structures, utilities & open-learning with Zig☆46Sep 12, 2025Updated last year
- Skills helping you write robust Zig code.☆53Oct 12, 2026Updated 3 weeks ago
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 6 months ago
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 4 months ago
- Lean 形式化数学☆22Dec 20, 2025Updated 10 months ago
- cozy evergarden theme for jellyfin☆13Sep 11, 2026Updated last month
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- Expression oriented programming language and compiler☆12Dec 4, 2025Updated 11 months ago
- https://red-temperature.netlify.app☆14Nov 21, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Still working on improving this!☆16Oct 16, 2026Updated 2 weeks ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- A Zig coroutine library☆299Aug 16, 2025Updated last year
- A bootmanager written in zig☆10Feb 22, 2026Updated 8 months ago
- A small tool for visualizing different colors for knitting patterns☆11Updated this week
- A property-based testing framework for Zig ⚡☆34Oct 3, 2026Updated last month
- ⚡️ Load, parse, and manage environment variables from .env files efficiently in zig.☆30Oct 22, 2026Updated last week