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

Perform code analysis to detect potentially dangerous vulnerabilities

Finite state machine framework for Rust with readable specifications

Truly independent web browser

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Build Postgres Extensions with Rust!

LLMs as Copilots for Theorem Proving in Lean

Cross-compiler from Haskell to Rust, plus parser-haskell.