Quint

A SCIM v2 server library for Go.

Started at Elimity to back their IAM product. Grew into a widely-used community implementation of RFC 7643 / 7644 — still maintained across employer changes, with a companion filter-parser and test-suite.

A grammar parser toolkit for Zig.

Latest in a long line of parser experiments (parser, upeg, pars). Handles ABNF, BNF, PEG, CFG, ERE, and S-expression grammars through one pipeline — comptime parser combinators, a bytecode VM with peephole optimizer, native AArch64/x86_64 JIT compilers, and AOT compilation to portable .zpar blobs. Includes tree-sitter-style structural queries over parse trees.

Zig compute kernels on Apple Silicon GPUs.

Compiles Zig compute kernels to SPIR-V and dispatches them to Apple Silicon GPUs through MoltenVK. Lets you write GPU code in Zig instead of MSL while still targeting Metal underneath.

Verifiable ID card claims with selective disclosure.

POC for proving properties of a Belgian eID (Belpic) without revealing the full card. smartcard handles APDU-level communication with the chip in Zig; belpic-zkp generates zero-knowledge proofs over the read data in Rust — e.g. "over 18" or "EU citizen" without exposing the underlying fields.

Go agent and Zig CDK for the Internet Computer.

Built agent-go at Aviate Labs — a Go client for calling IC canisters, still the canonical Go agent for the platform. Returning to IC in Zig with cdk-zig, a canister development kit aimed at writing canisters in a systems language.