flyfish30 / zig-catsLinks
A category theory and functional programing library for Zig language
☆62Updated 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
Sorting:
- tree-sitter grammar for moonbit☆35Updated last month
- Cicada Language (PLCT little team)☆94Updated 10 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 8 months ago
- A Typst-friendly static Zettelkästen site generator.☆134Updated last week
- TEA web UI framework for MoonBit☆81Updated this week
- RowScript programming language, making a better browser world☆123Updated this week
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 3 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 3 months ago
- A modern functional programming language with effect system.☆19Updated last year
- Prune is a constraint logic programming language with branching heuristic.☆30Updated this week
- Neovim plugin for Moonbit☆19Updated 3 months ago
- Zig reference-counted pointers inspired by Rust's Rc and Arc☆78Updated 7 months ago
- 豫言☆27Updated last month
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated last month
- A toolkit for building command lines programs in Zig.☆104Updated 3 weeks ago
- async programming library for MoonBit☆52Updated last week
- Cosmo is a language replacing awful C++'s compile-time magics☆12Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Fir programming language☆80Updated this week
- ☆22Updated last year
- Elaboration with inductive types☆16Updated 2 years ago
- Automatic testing of MoonBit programs☆26Updated last month
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Updated 3 years ago
- ☆61Updated 4 months ago
- Cicada Language (solo version)☆129Updated 10 months ago
- A toy Unix shell written in Zig☆68Updated 2 years ago
- x86-64 JIT backend for Zig☆25Updated last month
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆20Updated 2 weeks ago