Théo Madzou

XcodePreviews. Swift

agency-agents. A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes, and proven deliverables.

autoresearch. AI agents running research on single-GPU nanochat training automatically

aztec-claude-plugin. Claude Code plugin for Aztec smart contract development

SwiftUI-Agent-Skill. Add expert SwiftUI Best Practices guidance to your AI coding tool (Agent Skills open format).

worldmonitor. Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

arscontexta. Claude Code plugin that generates individualized knowledge systems from conversation. You describe how you think and work, have a conversation and get a complete second brain as markdown files you own.

superpowers. An agentic skills framework & software development methodology that works.

ccbot. Telegram ↔ tmux bridge for Claude Code: 1 topic = 1 window = 1 session

rtk. CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

react-native-bottom-sheet-stack. TypeScript

neverthrow. Type-Safe Errors for JS & TypeScript

opencv-mobile. The minimal opencv for Android, iOS, ARM Linux, Windows, Linux, MacOS, HarmonyOS, WebAssembly, watchOS, tvOS, visionOS

solady. Optimized Solidity snippets.

anime. JavaScript animation engine

sha1. sha1 library in Noir

react-native-sdk. TypeScript

eudi-doc-architecture-and-reference-framework. The European Digital Identity Wallet

sha512. Noir

noir-hashes. Test implementation of variable length sha512 and sha384 in noir.

react-native-keychain. :key: Keychain Access for React Native

stealthnote. StealthNote is an application for people in an organization to anonymously broadcast messages.

icao-9303. Reader for ICAO 9303 electronic machine readable travel documents.

swiftui-react-native. Bringing SwiftUI features to your React Native app. It's like if React Native and SwiftUI had a child.

noir_bigcurve. Noir

plonkathon. educational python plonk implementation, based on vitalik's py_plonk

galileo-osnma. Galileo OSNMA (Open Service Navigation Message Authentication)

zkemail.nr. ZK Email in Noir

Boost-for-Android. Android port of Boost C++ Libraries

android-example. Example Android library that builds on jitpack.io

gradle-download-task. 📥 Adds a download task to Gradle that displays progress information

noir-bignum. bignum

noir_rsa. Noir

jackson-databind. General data-binding package for Jackson: works on streaming API (core) implementation(s)

autenticacao.gov. Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atributos profissionais

cargo-ndk. Compile Rust projects with the Android NDK without hassle

cargo-swift. A cargo plugin to easily build Swift packages from Rust code

uniffi-rs. a multi-language bindings generator for rust

cargo-lipo. Cargo subcommand to automatically create universal libraries for iOS.

rapidsnark. rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

noir-collatz-conjecture. Roff

QKMRZScanner. Scan MRZ (Machine Readable Zone) from identity documents (passport, id, visa) using iPhone/iPad (iOS)

ios-cmake. A CMake toolchain file for iOS/iPadOS, visionOS, macOS, watchOS & tvOS C/C++/Obj-C++ development

noir_rs. Rust-based zkSNARK Proving&Verifying tool for noir-lang

zk-kit.noir. A monorepo of reusable Noir circuits.

SigGroup. Démonstrateur de signature de groupes

bc-java. Bouncy Castle Java Distribution (Mirror)

noir_rs. Rust-based zkSNARK Proving&Verifying tool for noir-lang

Swoir. Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.

sp1. SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

witnesscalc. cpp witness calculator for mobile and desktop for iden3 circuits

rust-android-gradle. Kotlin

xbuild. Cross compile rust to any platform

cross. “Zero setup” cross compilation and “cross testing” of Rust crates

open-iris. Open Iris Recognition Inference System (IRIS)

noir-base64. Base64 encoding for Aztec's noir language

RSA. RSA implementation in pure Rust

proof-of-peace. Zero-Knowledge Proof for Nuclear Disarmament Verification

noir-bigint. BigInt library for Aztec's noir language

noir_swift. Swift-based zkSNARK Proving&Verifying tool for noir-lang

noir_java. Java-based zkSNARK Proving&Verifying tool for noir-lang

circom-compat. Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

circom-rsa-verify. Zero Knowledge Proof for RSA

halo2_backend. Rust

noir_rs_deprecated. Rust

noir-rsa. Noir implementation of RSA-verify

react-native-threads. Create new JS processes for CPU intensive work

react-native-webassembly. ⚛️ 🏎 WebAssembly for React Native powered by JSI.

react-native-react-bridge. An easy way to integrate your React (or Preact/React Native Web) app into React Native app with WebView.

o1js. TypeScript framework for zk-SNARKs and zkApps

debate. Formalizing stochastic doubly-efficient debate

react-native-passport-reader. Java

AndroidPassportReader. Android application to read passports with MRZ

NFCPassportReader. NFCPassportReader for iOS 13

self. Prove your self

mopro. Making client-side ZK proving on mobile simple.

react-native-usb-serialport. High performance JAVA native gateway passthrough between multi usb serial port and multi socket without JS bridge, or just use multi usb serial port or socket alone

react-native-serialport. React Native - Usb Serial Port Communication For Android Platform

react-native-usb. A React Native module for USB communication

react-native-vision-camera. 📸 A powerful, high-performance React Native Camera library.

hooks. React Native APIs turned into React Hooks for use in functional React components

awesome-zero-knowledge. A curated list of Zero Knowledge links, mostly focusing on blockchain.

tfhe-research. Rust

swanky. A suite of Rust libraries for secure multi-party computation.

mpz. Multi-party computation libraries written in Rust 🦀

MOTION. An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties

zk-fhe. Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

fhe-auction. Rust

awesome-mpc. A curated list of multi party computation resources and links.

offchain-voting-poc. A proof of concept of an off-chain voting system using SnarkyJS and Mina

risc0-foundry-template. Template for integrating RISC Zero and Ethereum using Foundry

ScrollMagic. The javascript library for magical scroll interactions.

weiming-demystify-apple. JavaScript

doctr. docTR (Document Text Recognition) - a seamless, high-performing & accessible library for OCR-related tasks powered by Deep Learning.

labelImg. LabelImg is now part of the Label Studio community. The popular image annotation tool created by Tzutalin is no longer actively being developed, but you can check out Label Studio, the open source data labeling tool for images, text, hypertext, audio, video and time-series data.

donut. Official Implementation of OCR-free Document Understanding Transformer (Donut) and Synthetic Document Generator (SynthDoG), ECCV 2022

awesome-ocr.

dev-rel. All of Aztec's workshops, resources, tutorials, ideas, and useful tools

moonmath. Solutions to exercises from MoonMath Manual to zkSNARKs.

million. Optimizing compiler for React

nextgram. A sample Next.js app showing dynamic routing with modals as a route.

vaul. A drawer component for React.

echidna. Ethereum smart contract fuzzer

awesome-zero-knowledge-proofs. A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

noir-puzzles. Solidity

sonnet. TensorFlow-based neural network library

ezkl. ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

semaphore. A zero-knowledge protocol for anonymous interactions.

circomlib-ml. Circom Circuits Library for Machine Learning

AutoGPT. AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

tfhe-rs. TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

merkle-tree. A JavaScript library to generate merkle trees and merkle proofs.

renegade. On-chain dark pool. MPC for anonymous crosses at midpoint prices.

orion. ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

awesome-zkml. Aggregator for amazing ZKML resources

noir. Noir is a domain specific language for zero knowledge proofs

MP-SPDZ. Versatile framework for multi-party computation

simple_shield. Basic Noir private proof of membership

noir-web-starter-next. Next.js frontend boilerplate for interacting with Noir programs in-browser.

awesome-noir. A curated list of awesome things related to learning and programming in Noir.

starklings. An interactive tutorial to get you up and running with Cairo v1 and Starknet

foundry. Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

awesome-cairo. Resources for Cairo 1.0 development.

wagmi. Reactive primitives for Ethereum apps

consensus-specs. Ethereum Proof-of-Stake Consensus Specifications

slate. A completely customizable framework for building rich text editors. (Currently in beta.)

react-md-editor. A simple markdown editor with preview, implemented with React.js and TypeScript.

cairo-vm. cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

ZeroSync. A STARK proof to sync a Bitcoin full node in an instant.

kakarot. Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

snarkjs. zkSNARK implementation in JavaScript & WASM

circom. zkSnark circuit compiler

research. Python

cs-video-courses. List of Computer Science courses with video lectures.

mina. Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

liboqs. C library for prototyping and experimenting with quantum-resistant cryptography

bun. Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

hiero-sdk-js. A JavaScript/TypeScript SDK for Hiero: A Javascript toolkit for creating, updating, and interacting with on-ledger assets and smart contracts on Hedera and other Hiero networks

merkle-royalties-distributor. Non-custodial payment vault driven by Merkle Trees

fx-portal. FxPortal for Polygon (Previously Matic) chain. No mapping. Seamless.

all-on-chain-generated-nft. A repo for generating random NFTs with metadata 100% on chain!

evm-opcodes. Ethereum opcodes and instruction reference

workshops. Code and slides for OpenZeppelin Workshops

royalty-registry-solidity. Solidity

blockchain-oracle. Implementation of a multi-party self-hosted ethereum blockchain oracle. This project is a part of my master thesis on Trustable Blockchain Oracles.

opensea-creatures. Example non-fungible collectible, to demonstrate OpenSea integration

metadata-api-nodejs. Sample metadata API for crypto collectibles, written in Node.js

olympus-contracts. Solidity

solidity-bytes-utils. Utility Solidity library composed of basic operations for tightly packed bytes arrays

gsn. GSN v3.0.0-beta.10 - Ethereum Gas Station Network

wyvern-v3. Wyvern Protocol v3.1, Ethereum implementation

opensea-js. TypeScript SDK for the OpenSea marketplace

smart-contract-best-practices. A guide to smart contract security best practices

appkit. The full stack toolkit to build onchain app UX

TypeChain. 🔌 TypeScript bindings for Ethereum smart contracts

useDApp. Framework for rapid Dapp development. Simple. Robust. Extendable. Testable

pm. Everything there is to know about Flashbots

ethereumjs-monorepo. Ethereum L1 Protocol Stack and EVM in TypeScript

mythril. Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

slither. Static Analyzer for Solidity and Vyper

openzeppelin-contracts. OpenZeppelin Contracts is a library for secure smart contract development.

create-eth-app. Create Ethereum-powered apps with one command

scaffold-eth. 🏗 forkable Ethereum dev stack focused on fast product iterations

supabase. The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

manim. Animation engine for explanatory math videos

nookies. 🍪 A set of cookie helpers for Next.js

iron-session. 🛠 Secure, stateless, and cookie-based session library for Next.js or any JavaScript framework

google-map-react. Google map library for react that allows rendering components as markers :tada:

strapi. 🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable, and developer-first.

react-native-video. A <Video /> component for react-native

classnames. A simple javascript utility for conditionally joining classNames together

next-i18next. The easiest way to translate your NextJs apps.

next.js. The React Framework

swr. React Hooks for Data Fetching

docusaurus. Easy to maintain open source documentation websites.

rn-fetch-blob. A project committed to making file access and data transfer easier, efficient for React Native developers.

Chart.js. Simple HTML5 Charts using the <canvas> tag

react-native-snap-carousel. Swiper/carousel component for React Native featuring previews, multiple layouts, parallax images, performant handling of huge numbers of items, and more. Compatible with Android & iOS.

morgan. HTTP request logger middleware for node.js

react-native-swiper. The best Swiper component for React Native.

react-native-haptic-feedback. Haptics that feel right: Core Haptics, AHAP files, pattern notation, and cross-platform utilities for iOS and Android.

react-native-shared-element. Native shared element transition "primitives" for react-native 💫

nodejs-vision. This repository is deprecated. All of its content and history has been moved to googleapis/google-cloud-node.

react-native-localize. 🌍 A toolbox for your React Native app localization

react-native-share. Social share, sending simple data to other apps.

react-native-story-share. Share your images to instagram and snapchat stories with react native.

instagram-private-api. NodeJS Instagram private API SDK. Written in TypeScript.

react-color. :art: Color Pickers from Sketch, Photoshop, Chrome, Github, Twitter & more

qrcode.react. A <QRCode/> component for use with React.

react-animations. 🎊 A collection of animations for inline style libraries

react-transition-group. An easy way to perform animations when a React component enters or leaves the DOM

react-pdf. 📄 Create PDF files using React

react-i18next. Internationalization for react done right. Using the i18next i18n ecosystem.

formatjs. The monorepo home to all of the FormatJS related libraries, most notably react-intl.

react-native-country-picker-modal. 🇦🇶 Country picker provides a modal allowing a user to select a country from a list. It display a flag next to each country name.

react-phone-number-input. React component for international phone number input

redux-logger. Logger for Redux

redux-thunk. Thunk middleware for Redux

redux-observable. RxJS middleware for action side effects in Redux using "Epics"

react-native-color-matrix-image-filters. Various color matrix based image filters for iOS & Android