Lists (17)
Starred repositories
Nix binary cache backed by the GitHub Actions cache: zero setup, deduplicated uploads, automatic GC (beta)
A PyTorch native platform for training generative AI models
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
a Haskell library and runtime for building, compiling, and executing machine learning programs targeting StableHLO
CI and hosting for nix-based, flakified github repos
ethernet8023 / nix-gl-host-rs
Forked from numtide/nix-gl-hostRun OpenGL/Cuda programs built with Nix, on all Linux distributions.
The agent that grows with you
A SOTA quantization algorithm for high-accuracy low-bit LLM inference, seamlessly optimized for CPU/XPU/CUDA, with multi-datatype support and full compatibility with vLLM, SGLang, and Transformers.
AI Agent Skills for NixOS generated from docs and websites with best practices
43
Updated Apr 19, 2026
Cache tests based on their source dependency tree; only re-run when source meaningfully changed.
sophronesis / peerix
Forked from cid-chan/peerixPeer2Peer Nix-Binary-Cache
High performance, streaming and concurrent functional programming in Haskell
Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…
Qwen3-TTS is an open-source series of TTS models developed by the Qwen team at Alibaba Cloud, supporting stable, expressive, and streaming speech generation, free-form voice design, and vivid voice…
Personal AI assistant via Matrix Chat - A slightly saner alternative to OpenClaw
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!