A massively parallel, high-level programming language

Project the aircraft passing overhead onto your ceiling in real time, from an RTL-SDR — with a live sky layer (sun, moon, stars, ISS) and where each plane is headed.

A modern proof language

vibecoding, but correct and safe and secure and

🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.

Become a cracked AI/ML Research Engineer

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

visual ASCII editor for both humans and agents

Decky Plugin for remapping Legion Go controls, LEDs, etc

Agent skill that generates rich HTML pages or slide decks for diagrams, diff reviews, plan audits, data tables, and project recaps

A binary and file access authorization system for macOS.

High-Performance NVMe-oF Storage Benchmark and Optimization Suite

LuLu is the free open-source macOS firewall

a simulated network for chaos testing with testing/synctest (or not). gosimnet implements net.Conn

Record and Replay Framework

enables eu app support outside of the eu on iOS 17.4.x

A library for building dynamic webapps, using Js_of_ocaml.

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Rust port of Yjs

FUSE-based transcoding filesystem from FLAC to MP3

Build reliable customer-facing AI agents with Parlant: an interaction control harness optimized for controlled, consistent, and predictable LLM interactions.

The platform for LLM evaluations and AI agent testing

🕵️‍♂️ TUI for sniffing network traffic using eBPF on Linux

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.