The CompCert formally-verified C compiler

Public repository for Agent Skills

Mutation testing inside your Kotlin tests. Compile once, catch gaps.

Freestanding high assurance Lean 4 implemented with no runtime GC and linear type multiplicities, compiles AOT to CompCert C

KotlinLLM is an IntelliJ IDEA plugin prototype for experimenting with LLM-driven Smart macros in Kotlin, enabling code generation, runtime updates, and hot-reloading.

A capability-based microkernel written in Lean 4

Bringing the modern web to legacy iPhones, iPod touches, and iPads

A verification toolchain for Rust programs

A tiling wayland compositor, influenced by xmonad

An application template for Hermit for Rust.

Minimal implementation of the Mimblewimble protocol.

OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation requ…

Open-source, low-cost 10.5 GHz PLFM phased array RADAR system

Intermediate Language (IL) for Hardware Accelerator Generators

Go library and CLI for working with git forges. Supports GitHub, GitLab, Gitea/Forgejo, and Bitbucket Cloud through a single interface.

Postgres rewritten in Rust, now faster than Postgres and Clickhouse

Watch videos with friends using WebRTC, let the server do the pausing and seeking.

Digital signal processing for neural time series.

Runnind Rising Storm 2 - Vietnam dedicated server on linux using wine

Keyboard-first TUI email: write in Neovim, render as Markdown, screen senders first, organize emails once.

A keyboard-driven, vim-like browser based on Python and Qt.

Your personal Gentoo deployment

Obsidian 🤝 Neovim (actively maintained version)

A static analysis tool for rust, anchor, stylus, and solidity smart contracts.

Static Analysis for Smart Contract Auditing

Autonomous game development for Godot, Bevy, and Babylon.js with Claude Code and Codex

Sub-millisecond VM sandboxes for AI agents via copy-on-write forking