Interactive construction of a 2d rotation from two reflections.

Web Pipe is an experimental DSL and Rust runtime for building web apps via composable JSON pipelines, featuring native integration of GraphQL, SQL, and jq, an embedded BDD testing framework, and a …

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Voxel sandbox game with a large render distance, procedurally generated content and some cool graphical effects.

nFPM is Not FPM - a simple deb, rpm, apk, ipk, and arch linux packager written in Go

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

From Zero to QED: An informal introduction to formality with Lean 4

A scrollable-tiling Wayland compositor.

OpenSCAD - The Programmers Solid 3D CAD Modeller

A curated list of code and resources for computer-controlled drawing machines and other visual art robots.

Run Business Central on Linux with Docker Compose

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

pure go library for processing signed XML documents

Tree-sitter parser for AL

Privacy-first API platform built with Tauri v2. No login, no cloud, ~60 MB RAM. A lightweight Postman alternative.

pkcs11 wrapper for Go

Runtime for Go + Godot

A Go client for performing common SFTP operations

Source code of Seed7

a barcode creation lib for golang

Zig PC/SC (smart card) API bindings for Linux / MacOS / Win32

🏎️ Streams & Reactive Programming paradigm for Go: declarative and composable API for event-driven applications

The procedural generation voxel engine

</> htmx - high power tools for HTML

Visualization of 2d discrete fourier trasnform

PKCS#11 logging proxy module

The hypermedia framework.

12 Weeks, 24 Lessons, AI for All!