Stars
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
muvm - run programs from your system in a microVM
AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
An agentic skills framework & software development methodology that works.
Generate nix sources expr for the latest version of packages
Nix overlay for gakonst/foundry (including forge and cast)
Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.
A focused launcher for your desktop — native, fast, extensible
Identity-aware VPN and proxy for remote access to anything, anywhere.
Nix binary cache implemented in rust (maintainer: @Mic92)
system to run repls in background, useful for ai automation
Make beautiful isometric infrastructure diagrams
A linux distribution based on Nix [maintainer=@MagicRB]
This is a collection of helm charts in a nix-digestable format. [maintainers=@farcaller, @e1senh0rn]
Mobile-first media server with swipe navigation and one-click sharing.
Terraform provider for HRUI (Horaco, Sodola, XikeStor, etc) switches
Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
A lightweight and full-featured cross-platform desktop client for self-hosted music servers
music streaming server / free-software subsonic server API implementation
formal-land / rocq-of-solidity
Forked from argotorg/solidityFormal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.