Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Open-source implementation of AlphaEvolve

Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.

Nix Packages collection & NixOS

KLEE Symbolic Execution Engine

The math library of Lean 4

🐍 Complete C99 parser in pure Python

Universal LaTeX document skill for Claude Code: 27 templates, 22 scripts, 22 reference guides. Made with Claude Code on ✦ HappyCapy AI ✦ platform

Multi-user anti-filtering panel, with an effortless installation and supporting more than 20 protocols to circumvent filtering plus the telegram proxy.

A tool to detect potentially hallucinated or fabricated references in academic PDF papers.

Conduit Client

Convert PDF to markdown + JSON quickly with high accuracy

"BREAKMEIFYOUCAN!": Exploiting Keyspace Reduction and Relay Attacks in 3DES and AES-protected NFC Technologies - Resources

CoCalc.ai: Collaborative Calculation with AI

Mifare Classic Offline Cracker

Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe

Share end-to-end encrypted folders live

Fast Fast Hadamard Transform

Samples for Intel® oneAPI Toolkits

Applied AI experiments and examples for PyTorch

A general-purpose window upscaler for Windows 10/11.

M4RI is a library for fast arithmetic with dense matrices over GF(2)

OP-TEE port for the Raspberry Pi 4 platform

Espresso Logic Minimizer - Modernized Edition

LaTeX package and annotated examples for annotating equations using TikZ.

Fetch Academic Research Papers from different sources

World's fastest and most advanced password recovery utility