Stars
QMVerif is a tool focusing on the verification of masked arithmetic programs against power side-channel attack.
KSU installer for supported Samsung Galaxy firmware with CVE-2026-43499
An open-sourced research agent system deeply rooted in your Zotero library.
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
[ICLR 2026] GRAPE: Group Representational Position Encoding (https://arxiv.org/abs/2512.07805)
The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.
KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
CUDA Templates and Python DSLs for High-Performance Linear Algebra
Cheddar: A Swift Fully Homomorphic Encryption (FHE) GPU Library
Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data ow…
Unlimited OCR Works: Welcome the Era of One-shot Long-horizon Parsing.
Nix packages for AI coding agents and development tools. Automatically updated daily.
CI and hosting for nix-based, flakified github repos
A guide to use gunyah VM on Android snapdragon devices with crosvm
Undetected Playwright automation in Python. Stealth-patched Firefox, anti-detect browser fingerprint in the engine, not injected. Passes bot detection.
Nix Flake for Helium browser. Auto updates, Policy support, NixOS module, Home-manager module
💫 Extensible UI for Neovim notifications and LSP progress messages.