The P programming language.

Zig bindings for Lean4

Small and simple software for plotting data from serial port in realtime.

Zig Package Manager Expansion Pack

Started from rbino/zig-stm32-blink for STM32F4DISCOVERY, updated to do blinky things and more for STM32F3DISCOVERY

A puzzle game inspired by functional programming

Convert System View Description (svd) files to Zig headers for baremetal development

https://wiki.openjdk.org/display/jdk8u

A small extensible programming language designed for concise expression with little code.

Generators for Zig

Maybe the open-source community can write Donald Knuth's O Calculus book?

Unified abstraction layer and HAL for several microcontrollers

An esoteric data type built entirely of NaNs.

Tired of pushing to test your .gitlab-ci.yml?

Forward build system with speculation and caching

OSIS Statenvertaling (Dutch) with apocrypha

Lightweight, fully-featured, idiomatic cross-platform Zig bindings to Lightning Memory-Mapped Database (LMDB).

A fast and lightweight native programming language

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Comparing concurrent code example programs between other languages and Zig

use a @ziglang compiler in your github actions workflows

Forward build system with speculation and caching

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A collection of succinct guides - Public Domain