Lists (15)
Starred repositories
⚓ A collection of high-performance JavaScript tools.
Detect side channels with statistically rigorous methods.
Get info about your Device Integrity through the Play Intergrity API
StarFortress: Hybrid Post-Quantum KEMs From SDH and IND-CCA
A Nix flake providing a secure, isolated environment for running Claude Code using bubblewrap sandboxing.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
An open-source Android app to let you browse YouTube and other services freely.
Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built fo…
A minimal Neovim config with zero plugins - built on native 0.11+ features
Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
High-performance pure-Go regex engine with PCRE features. Drop-in regexp replacement that beats stdlib 2-50x.
A daily-drivable experimental os, featuring finit as pid 1, to explore the NixOS design space
A Rust ML-KEM (FIPS 203) implementation for beautiful, secure code; pretty fast.
a collection of lightweight TypeScript packages for AT Protocol, the protocol powering Bluesky.
A batteries-included framework for building web apps
Free and open-source edition of PixelPlayer - a modern offline music player for Android built with Jetpack Compose, Media3 & Material 3. Available on F-Droid.
FIPS 202 for Rust: no_std, constant-time SHA-3 and SHAKE with zero dependencies.
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
Assembly super-optimization via constraint solving
A collection of guidelines, use cases and experiments with the Yubikey