✨ click on me to see all of my pull-requests ✨

✨ click on me to see my keyboard layout ✨

• 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.

• cryptist-2025-inference: Methods for Verifiable & Private Inference
• arithmetic-circuits: Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
• rustconnect-libp2p: Rust Connect #1 - Libp2p & FFI

• claude-code-wiz: Claude code hooks for WiZ smart-lamps.
• 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.
• dnalang: A brainfuck dialect in LEAN language, for fun only.
• 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.