Repository Index

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

Personal Web Assistant

• ifttt
• python
• self-hosted
• web-monitor

This is a personal sand box

TranslatedOpen-source GrokBot alternative built on DeepSeek Harness. Build your personal bot team: multiple personal agents with persistent memory, identities and permissions, extensible through DSH plugins. MIT.

• dsh-plugin
• agent-memory
• ai-agent
• bot-marketplace

A simple, self-hosted service to keep track of your personal library 📚

• bookshelf
• catalog
• flask
• library

:nose: A Neovim bufferline for people with addictive personalities

• neovim
• neovim-plugin
• neovim-lua
• bufferline

Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.

💰 Ocular - A fancy, simplistic, beautiful and straight-forward, open-source budgeting tracking app to track your budget across the years. Easy to use, to get started and to set up.

• budget-app
• budgeting
• finance
• finance-management

A rapid Rails 7 application template for personal use bundled with Tailwind CSS

• tailwindcss
• rails
• webpack
• ruby

Minimalist fitness app to plan your workouts, track your personal records and leverage smartwatch data

• fitness
• fitness-app
• selfhosted
• workout

DSHBox — Run DeepSeek Harness locally on Android phones and tablets. It integrates and coordinates DSH, PRoot, WebView, Debian and Node.js, together with a terminal, a file manager，a browser and other tools, into a personal AI workbench. No root access, and no separate Termux installation.

• deepseek-harness
• dsh
• local-ai-agent
• dsh-android

Best free & open source AI personal assistant. Always-on, proactive, sessionless. Browser, computer use, files, remote control. Compatible with ChatGPT/codex and claude code. Selfhost your open source alternative to Muse, Dots, Instinct and Town. Built with Go/Elixir/Lean.

• agent
• elixir-lang
• golang
• personal-ai

Scan the MRZ code of a passport and extract the firstname, lastname, passport number, nationality, date of birth, expiration date and personal numer.

• mrz
• passport
• scanner
• ocr

Your personal EQ coach. Build social skills and learn to handle conflict through realistic role-play and personalized feedback.

• ai-in-education
• communication-skills
• conflict-resolution
• llm

100% free, open-source personal agents for your messaging apps, tools, and services

• agent
• ai
• ai-agents
• android

Xiryn — the open-source personal agent. Does everything Muse, Grok Bot and Dots do, on your own computer: each agent gets its own Linux desktop in Docker, any model with your keys, an encrypted vault, and control from Telegram.

• ai-agents
• ai-sdk
• anthropic
• byok

An aggregator for personal metrics, and an extensible analysis engine

• iot
• golang
• quantified-self

This is an open source, all-in-one, static recompilation project that I built from the ground up for the Xbox 360 Gears of War series. All 4 games have been personally recompiled for use with a fully native renderer by me.

• decomp
• decompilation
• pc
• port

The Emperor takes care of all errors personally

• go
• golang
• error-handling
• error-handler

🍄📑 Filesystem and git-based wiki engine for the independent web written in Go and using Mycomarkup as its primary markup language.

• wiki
• wiki-engine
• digital-garden
• personal-wiki

Family Accounting Tool

• accounting
• personal
• tool
• family

Personal flight tracker and viewer

• flights
• self-hosted
• tracking
• aviation

Get rich, or die codin'

• pfm
• personal-finance
• personal-finances
• money-manager

⚡ Blazing fast terminal-style personal site built with Rust WASM

• rust
• wasm
• yew
• webapp