Stars
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.
Bringing the modern web to legacy iPhones, iPod touches, and iPads
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…
tienle / plfm_radar
Forked from NawfalMotii79/PLFM_RADAROpen-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.
Obsidian 🤝 Neovim (actively maintained version)
A static analysis tool for rust, anchor, stylus, and solidity smart contracts.
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