flyfish30 / zig-catsLinks
A category theory and functional programing library for Zig language
☆54Updated 2 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:
- tree-sitter grammar for moonbit☆30Updated last week
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- experimental packages for moonbitlang/core☆38Updated last week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- TEA web UI framework for MoonBit☆59Updated last week
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- RowScript programming language, making a better browser world☆121Updated 3 weeks ago
- A Github Action to setup a MoonBit environment for you. 🐇☆13Updated last week
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆63Updated 3 months ago
- A Typst-friendly static Zettelkästen site generator.☆80Updated this week
- An implementation of the OpenMP directives for Zig☆40Updated 9 months ago
- A simple, opinionated, struct-based argument parser in Zig.☆56Updated last year
- ☆60Updated 3 weeks ago
- Elaboration with inductive types☆16Updated 2 years ago
- A JSON library for inspecting arbitrary values☆14Updated last month
- Set up your GitHub Actions workflow with a specific version of Zig (https://ziglang.org/).☆19Updated 8 months ago
- x86-64 JIT backend for Zig☆21Updated last week
- A modern functional programming language with effect system.☆19Updated last year
- General purpose allocator for Zig☆40Updated 3 months ago
- Cicada Language (PLCT little team)☆93Updated 6 months ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- deflate compression algorithm in Zig☆46Updated 4 months ago
- A NES emulator in MoonBit☆53Updated 4 months ago
- Zig bindings for libcurl☆106Updated last month
- 豫言☆27Updated 2 weeks ago
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆30Updated last month
- ⚡ Fast and simple zig version manager (zvm)☆36Updated 3 weeks ago
- Zig Compile-time Contracts☆29Updated 3 years ago
- An AI Agent using MoonBit☆11Updated 6 months ago