Lists (2)
Starred repositories
🌟 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
A blazingly fast LSP client for Emacs
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Kimi K2 is the large language model series developed by Moonshot AI team
Train neural networks that distill into logic circuits, using JAX
Hallucinations (Confabulations) Document-Based Benchmark for RAG. Includes human-verified questions and answers.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.