Stars
A software acoustic modem for the Android Team Awareness Kit (ATAK) that allows multiple ATAK devices to share data using only voice comms (e.g., over a walkie talkie)
ATAK Plugin that leverages APRSDroid's API to send CoT
Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)
HydraBus open source multi-tool for anyone interested in learning/developping/debugging/hacking/Penetration Testing for basic or advanced embedded hardware
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
Pure Nix flake utility functions [maintainer=@zimbatm]
Visualise which gc-roots to delete to free some space in your nix store
install nixos everywhere via ssh [maintainer=@numtide]
Generate multiple, topic-specific bibliographies.
This nixpkgs extension, called nixcloud-webservices, focuses on ease of deployment of web-related technologies.
Easily and securely send things from one computer to another 🐊 📦
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]
A framework for applied category theory in the Julia language
Use YubiKey to unlock a LUKS partition
Set up a LUKS-encrypted filesystem for Yubikey in NixOS
Rifle through your Org-mode buffers and acquire your target
An interactive theorem prover for string diagrams
get things from one computer to another, safely
Collection of image builders [maintainer=@Lassulus]