CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.

An open-source AI agent that brings the power of Gemini directly into your terminal.

A curated list of resources about post-quantum cryptography.

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

Reproduce ZKP vulnerabilities

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

pySMT: A library for SMT formulae manipulation and solving

sources for the Singular computer algebra system

zkSNARK implementation in JavaScript & WASM

Standard curve database.

A markup-based typesetting system that is powerful and easy to learn.

All Algorithms implemented in Python

CTF Archives: Collection of CTF Challenges.

🚀 Fast prime number generator

All Algorithms implemented in Rust

Project Wycheproof tests crypto libraries against known attacks.

CTF challenges I created

Library of basic circuits for circom

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

Crack legacy zip encryption with Biham and Kocher's known plaintext attack.

Library for Polynomial System Solving through Algebraic Methods

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Public repository for Agent Skills

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Main repository of SageMath

Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS