Modern desktop application (Rust + Tauri v2 + Svelte 5 + Candle (HF)) for communicating with AI models that runs completely locally on your computer. No subscriptions, no data sent to the internet — just you and your personal AI assistant
Killzone 3 // Unofficial PC Port (static recompilation). Work in progress, partly playable. Builds on your PC from your own game.
- ai-assisted
- direct3d12
- game-port
- killzone
Node Red Google Home integration
- node-red
- google-home
- google-home-assistant
Joy — a local-first personal assistant. Rust core (loop / memory / tools / graph / evals), TypeScript gateways + dashboard, Python thin SDK.
TranslatedLUMINA Guide: Jetson + Orbbec RGB-D wearable navigation assistant prototype
Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.
Jupyter kernel for Coq
A clojure(script) library to assist with transitions between dimensions
boto3 code assistance for any API in any IDE, always up to date
Aqara (Xiaomi) Gateway to MQTT bridge (I use it for home assistant integration)
- aqara-mqtt
- mqtt
- xiaomi
- aqara
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
AI-powered skills for Magento 2 development with Hyva Theme. These skills extend AI coding assistants with specialized knowledge for creating Hyva themes, modules, and CMS components.
Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.
Home Assistant + Node-Red
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
🏦 I built this site to integrate with Up bank (an Australian digital bank), to assist users with budgeting and to gain powerful future insights.
Free, native MongoDB GUI with the power of paid tools — every auth mode, TLS/SSH/proxy, aggregation + explain plans, bulk edit, schema analysis, GridFS, embedded mongosh, AI query assistant. Encrypted, zero telemetry. Tauri + React. Apache-2.0.
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
Python bindings for the Coq interactive proof assistant
HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome
Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.