Genome modeling and design across all domains of life

Practical Implementation of the Maurer Reduction

AIHawk aims to easy job hunt process by automating the job application process. Utilizing artificial intelligence, it enables users to apply for multiple jobs in a tailored way.

Asset inventory of over 800 public bug bounty programs.

The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra

Python implementations of cryptographic attacks and utilities.

elliptic curve algorithm and nist curves

Ecne: An engine for verifying the soundness of R1CS constraints

Gnuplot graph showing elonmusk likes and tweets.

A collection of scripts testing a factoring free attack on RSA

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

R1CS soundness testing tool

Implementation of index calculus by using OpenCL libraly

Import all tweets exported from X/Twitter to a Bluesky account.

A generic post-processing injector for games and video software.

Th3g3ntl3man CTF Writeups

Repository containing implementation of attacks on modern public key cryptosystems and symmetric key ciphers.

SRI Yices SMT Solver

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Automated verification of uniqueness property for ZKP circuits

A repository that aims to provide tools for cryptography and cryptanalysis

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

R1CS soundness testing tool

Custom ASIC Design for SHA-256

All Linux privilege Escalation methods are listed under one MarkDown🦁 i.e Kernel Exploits to Cronjobs