marnix

synology-decrypt

An open source implementation/description of the Synology Cloud Sync encryption/decryption algorithm

zigmmverify

ziggen

Generators for Zig

zig-stm32f3discovery-play

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

aivd-kerstpuzzel-2020

experiment-zig-generator

mmpyparse

A quick experiment to demonstrate Metamath formula parsing, where the grammar is embedded in a few additional 'syntax axioms'.

aivd-kerstpuzzel-2021

aivd-kerstpuzzel-2022

apt-source-safelist

Safelist of apt sources approved for build environments with restricted sudo

enterprise-wc-examples

icfpcontest2022.github.io

jam0001

jira-userscript-load-all-and-sort

lang-metamath

Use Metamath through a Racket library and language, and DrRacket IDE support

megaparsack

Racket parser combinators inspired by parsack and megaparsec

metamath-knife

microzig

Unified abstraction layer and HAL for several microcontrollers (focus of this fork is STM32F3DISCOVERY board support)

microzig-roadmap

Central location for ZEG project management and brainstorming

mmpp

Metamath in C++

pytonal

Dabbling in music theory in Python

rattle

Forward build system with speculation and caching

regz

Generate zig code from ATDF or SVD files for microcontrollers.

stmicro-stm32

HAL for stm32 (STMicro) devices

svd4zig

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

user-map

A second attempt on documenting where the ziguanas of the world live

zig

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

zig-build-libxml2

The libxml2 library built and packaged for the Zig build system. These are not Zig language bindings to the library.

zig-ray-tracer-challenge-marnix

ziglang-zig-17882-repro