Lists (2)
Sort Name ascending (A-Z)
Starred repositories
Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.
AI agents running research on single-GPU nanochat training automatically
Docker image that provides a Minecraft Server for Java Edition that automatically installs/upgrades versions, modloaders, modpacks and more at startup
Blink is a self-hosted platform for building and running custom, in-house AI agents.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A free and strong UCI chess engine
Stuff one needs to play around with my R316 computers (see README)
Make beautiful colored code listings in LaTeX with the power of TreeSitter.
A tiny experimental language designed to be targeted by coding LLMs
🌟 For when you really just want to serve some files over HTTP right now!
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Run nixpkgs-review in GitHub Actions
A multithreaded Minecraft server built for redstone.
An experimental os, featuring finit as pid 1, to explore the NixOS design space
Easily and securely send things from one computer to another 🐊 📦
Roo Code gives you a whole dev team of AI agents in your code editor.
A menagerie of cute implementations of modern typechecking algorithms