✨ click on me to see all of my pull-requests ✨
- circomkit: A testing & development environment for Circom.
- circom101: Circom arithmetic circuits and concepts explained, in depth.
- zkbrainfuck: A Brainfuck zkVM with Circom, accompanied with a VM in Go.
- halo2-vectordb: Verifiable vector similarity queries with Halo2.
- aligned-vnns: Verifiable nearest-neighbor search with Aligned Layer & SP1.
- polenta: A toy language to play around with polynomials over finite fields.
- crypts: A zero-dependency library for cryptography, mostly self-educational.
- moonmath: Solutions to exercises from MoonMath Manual to zkSNARKs.
- crypto-notes: My notes related to Cryptography & Zero-Knowledge.
- lambda-0b10: Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
- huffd1: An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
- chaintool: On-chain & dynamic toolchain for CDP AgentKit.
- frencurve: A notion of friendship based on your location on the elliptic curve!
- adventofts-2024: Solutions to Advent of TypeScript 2024.
- adventofts-2023: Solutions to Advent of TypeScript 2023.
- zkctf-scalebit: Circom challenges within zkCTF by Scalebit, solved with Foundry & Circomkit.
- ethernaut-evm-challenges: Solutions to Ethernaut, EVM Puzzles and More EVM Puzzles; using Foundry.
- zkAargon: A zero-knowledge remake of the 1998 game Aargon.
- arithmetic-circuits: Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
- rustconnect-libp2p: Rust Connect #1 - Libp2p & FFI
- web-terminal: A terminal-based homepage.
- leet-assistant: A personalized LeetCode assistant.
- thuffscript: Write Huff without ever leaving TypeScript.
- blockchatting: A decentralized peer-to-peer chatting application.
- simple-blockexplorer: A client-only EVM-based block-explorer via RPC calls.
- pimp-my-peer: A libp2p peer identifier searcher to better identify yourself in the network.
- musical-plots: Using matplotlib in the interest of music.
- type-stacks: Type-level stack operations.
- eopl-scheme: Scheme works from during my TAship.
- orca-livecoding: Orca Livecoding stuff.
- lighthouse-problem: A particularly interesting geometry problem.
- burning-castle: Plots and codes for OEIS A343275 and few other sequences.
- bevy-breakout: A breakout game using the Bevy game engine.