habedi / zig-dbcLinks
A design by contract library for Zig
☆22Updated 4 months ago
Alternatives and similar repositories for zig-dbc
Users that are interested in zig-dbc are comparing it to the libraries listed below
Sorting:
- ☆139Updated last week
- A Lisp dialect written in Zig☆211Updated 5 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆112Updated last month
- Topological sort library in Zig☆97Updated last month
- 😎 A curated list of WebAssembly runtimes☆61Updated last year
- A Zig library to idiomatically communicate with other BEAM nodes☆47Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated 3 weeks ago
- ☆58Updated 8 months ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Reader to enable embedding images in source files as text☆22Updated last year
- A list of programming languages implemented in Zig, for inspiration.☆19Updated 2 years ago
- Run erlang as a WASI http server (vapourware)☆28Updated last year
- The Gren Programming Language Book☆32Updated 4 months ago
- Zig library to connect Janet and Zig together☆65Updated last month
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Plot Cookbook☆51Updated 3 years ago
- A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.☆167Updated last month
- A Djot implementation in Prolog☆27Updated last month
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆77Updated 2 years ago
- an immutable database for zig☆59Updated last week
- ☆36Updated last week
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆31Updated last month
- Zig compiler compiled to WASM☆19Updated last year
- Build type-safe finite state machines with higher-order states.☆230Updated 3 weeks ago
- ☆42Updated 3 years ago
- ☆101Updated last year
- A simple terminal-based text editor written in Janet. [WIP]☆38Updated 2 years ago
- The SPAIK LISP Programming Language☆40Updated 4 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago