A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

Parametric 2d/3d CAD

State-of-the-art TTS model under 25MB 😻

A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣

Fyn is a fork of uv for fast Python package management, dependency resolution, virtual environments, and pyproject.toml workflows.

A browser-based 3D CAD application for online model design and editing

Light, fluffy, and always free - AWS Local Emulator

The NATS execution engine

Turn any website into a desktop WebApp — fast, configurable, and fancy.

Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and…

A Kafka log inspired in-memory and append-only data structure

The to-do app to organize your life.

A native iOS/iPadOS editor for Typst — the modern typesetting system.

giallo integration for kakoune

Create blazing fast & beautiful reactive UI in Neovim

Slap your MacBook, it yells back. Uses Apple Silicon accelerometer via IOKit HID.

Turn any MCP, OpenAPI, or GraphQL server into a CLI — at runtime, with zero codegen

A UUID package for Go

A Rust compiler with ownership checking, written in PHP

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

Gamebook Engine is an open source iOS app for creating and playing gamebooks, a type of interactive fiction where the player gets to make decisions that influence the story.

Linux kernel module for Winwing throttle

A lightweight AWS service emulator written in Go

A Wasm to Go translator

Sample and MIDI device manager

XXH3 algorithm in Go

Extremely fast non-cryptographic hash algorithm

Better web-based prototypes for iPad

Modern IRC Client for the web, desktop and mobile.

A header-only, cross-platform JIT compiler library in C—targets i386, x86-64, ARM32, ARM64, RISC-V 64