flyfish30 / zig-catsLinks
A category theory and functional programing library for Zig language
☆57Updated 3 weeks ago
Alternatives and similar repositories for zig-cats
Users that are interested in zig-cats are comparing it to the libraries listed below
Sorting:
- experimental packages for moonbitlang/core☆39Updated last week
- TEA web UI framework for MoonBit☆67Updated last week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated 3 weeks ago
- tree-sitter grammar for moonbit☆32Updated last week
- Neovim plugin for Moonbit☆16Updated last week
- Cicada Language (PLCT little team)☆93Updated 6 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 5 months ago
- A toolkit for building command lines programs in Zig.☆94Updated 2 months ago
- A Typst-friendly static Zettelkästen site generator.☆90Updated this week
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆62Updated last week
- ⚡ Fast and simple zig version manager (zvm)☆37Updated last month
- Zig reference-counted pointers inspired by Rust's Rc and Arc☆75Updated 3 months ago
- Personal reading notes (zh-CN)☆9Updated last year
- General purpose allocator for Zig☆43Updated 4 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- A Github Action to setup a MoonBit environment for you. 🐇☆13Updated last week
- Set up your GitHub Actions workflow with a specific version of Zig (https://ziglang.org/).☆19Updated 9 months ago
- 豫言☆27Updated last week
- A simple, opinionated, struct-based argument parser in Zig.☆56Updated last year
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆64Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- x86-64 JIT backend for Zig☆22Updated last week
- Automatic testing of MoonBit programs☆25Updated 3 weeks ago
- The build system and package manager for MoonBit☆305Updated this week
- Zig 语言中文社区论坛☆40Updated last month
- A Wasm4 binding for MoonBit☆18Updated 4 months ago
- Zig codes for the famous public project 《Hello, Algorithm》|《 Hello,算法 》 about data structures and algorithms.☆74Updated 2 years ago
- RFCs of MoonBit lang☆18Updated last year
- A NES emulator in MoonBit☆53Updated 3 weeks ago