A category theory and functional programing library for Zig language
☆81Apr 30, 2026Updated 4 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...☆18Updated this week
- An implementation of an augmented red-black tree in Zig with 3 layers of abstraction☆16Jun 8, 2026Updated 3 months ago
- Improve the zig experience in neovim☆42May 4, 2026Updated 4 months ago
- Build type-safe finite state machines with higher-order states.☆234May 7, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 8 months ago
- ⚡zt — the fastest terminal emulator. 88 MB/s throughput. 5.5ms startup. 2MB memory. Pure Zig.☆71Jul 4, 2026Updated 2 months ago
- A Zig OOP solution☆36Apr 28, 2026Updated 4 months ago
- Skills helping you write robust Zig code.☆40May 17, 2026Updated 4 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆36Sep 16, 2026Updated last 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 4 months ago
- AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆29Updated this week
- 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 fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- Tofu - Async messaging for enterprise systems☆34Jun 7, 2026Updated 3 months ago
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 3 months ago
- ECS inspired by the rust Bevy ecs api but FASTER!☆27Jun 11, 2026Updated 3 months ago
- Small collection of data types/structures, utilities & open-learning with Zig☆48Sep 12, 2025Updated last year
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 8 months ago
- Lean 形式化数学☆20Dec 20, 2025Updated 9 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 5 months ago
- A property-based testing framework for Zig ⚡☆31Jul 19, 2026Updated 2 months ago
- 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☆40Mar 22, 2026Updated 6 months ago
- ⚡️ Load, parse, and manage environment variables from .env files efficiently in zig.☆30Aug 29, 2026Updated 3 weeks ago
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 4 months ago
- Simple, lightweight, and privacy-friendly error tracking.☆13Feb 26, 2026Updated 6 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.
- 🩺 A library for compiler diagnostics☆55Jun 19, 2026Updated 3 months ago
- TurboDB — a blazing-fast NoSQL document database written in Zig. mmap + WAL + B-tree + MVCC.☆22May 1, 2026Updated 4 months ago
- ☆54May 4, 2025Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 4 months ago
- A production-grade, high-performance numerical computing library for Zig, designed with a clean, intuitive, and developer-friendly API si…☆21Updated this week
- Nim bindings for wayland☆13Aug 13, 2019Updated 7 years ago
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago