Edge-case tests for Metamath verifiers.

Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library

Continental OVIP firmware reverse engineering for PSA/Stellantis cars (Peugeot, Citroen, DS, Opel)

fork of the popular jsch library

A webapp help you plan your AWS re:Invent 2024 schedule

The P programming language.

Zig bindings for Lean4

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

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?

MicroZig is a toolbox for building embedded applications in Zig.

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