A collection of academic papers / Git repos / conference talks / frameworks / tools related to cellular security and privacy.

Rust packet capture and manipulation utilities

asnfuzzgen - ASN.1 Structure-Aware Fuzzing Compiler

❄️ Dotfiles for our NixOS system configuration.

Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.

Btop clone written in pure Nix

lints and suggestions for the nix programming language

The personal finance app for everyone. NOT affiliated with or endorsed by Maybe Finance Inc.

A local-first personal finance app

A fast usermode x86 and x86-64 emulator for Arm64 Linux

Multi-tenant Nix Binary Cache

a debugger for async rust!

This set of Python scripts allow you to convert pcap, pcapnp or pdml 5G protocol traces (Wireshark, tcpdump, ...) into SVG sequence diagrams.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

A collection of advanced CSS styles to create realistic-looking effects for the faces of Pokemon cards.

MetroDreamin' is a web application that allows users to design and visualize their dream transportation systems, and peruse the transit fantasies of other users from around the world.

Multi-host NixOS, Darwin, and home-manager configurations with Nix.

Show your friends you're the best in a BATTLE OF WITS! Renders a video with the visitors IP durring an HTTP request.

Tock World 8

Experimental mathematical library in pure Nix, using no external library.

home of the marketing team #marketing:nixos.org

A TUI installer for NixOS

A precise specification for "Rust lite / MIR plus"

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

I want to animate a line tracing itself out, i think it will look nice.

Utilities for finding the longest paths (in LLVM-IR) through Rust functions.