CogitatorTech / minishLinks
A property-based testing framework for Zig ⚡
☆21Updated last month
Alternatives and similar repositories for minish
Users that are interested in minish are comparing it to the libraries listed below
Sorting:
- Trace calls in Elixir processes☆38Updated last month
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆40Updated 11 months ago
- Learning zig by making a (bad) chess engine☆16Updated last year
- Lean tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM.☆65Updated 2 weeks ago
- Turns your Rust tests into docs☆19Updated 2 months ago
- Real-time CLI flag explainer for fish shell☆55Updated 2 weeks ago
- A human-in-the-loop code review TUI for AI-generated changes.☆228Updated this week
- A breakpoint should just mean >>>☆75Updated 2 weeks ago
- A tool for checking code listings in Markdown source☆32Updated last month
- BareMetal for the private/public cloud☆75Updated last month
- Gleam terminal backend library☆31Updated last week
- Minimalistic sum types and switches for Lua☆52Updated last year
- A bibliography for protocol design☆47Updated 9 months ago
- A collection of high-performance data structures for Zig.☆46Updated last month
- Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.☆89Updated 5 months ago
- API server for aolium.com☆18Updated last year
- Diagrams as code☆53Updated 4 months ago
- A tool for managing git lifecycle hooks with ✨ gleam! Pre commit, Pre push and more!☆18Updated 5 months ago
- A Zig library to idiomatically communicate with other BEAM nodes☆47Updated 2 months ago
- Topological sort library in Zig☆97Updated last month
- dtach-like program / crate in rust☆41Updated 2 years ago
- A (meta) programming language for designing/reasoning about code.☆80Updated 2 weeks ago
- A modern take on 'ed'☆130Updated 8 months ago
- Ordered process (re)start, shutdown, and supervision.☆162Updated 5 years ago
- A small, interactive command runner☆133Updated 2 years ago
- Small, simple, expression-oriented programming language.☆31Updated 2 weeks ago
- A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.☆50Updated 3 weeks ago
- make your own text editor (in Zig)☆28Updated 5 years ago
- Interactive documentation with Markdown and HTMX made easier☆40Updated last year
- ☆96Updated 3 years ago