Pinned Repositories
actix-graphql
Actix and GraphQL
arecibo
Artificial_Neural_Network
bacalhau-airflow-provider
An Apache Airflow Provider for Bacalhau (a Compute over Data framework)
bellpepper
SNARK Circuit library
bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
builtin-actors
The Filecoin built-in actors
card-game
claims-tool
lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
tchataigner's Repositories
tchataigner/claims-tool
tchataigner/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
tchataigner/actix-graphql
Actix and GraphQL
tchataigner/arecibo
tchataigner/bacalhau-airflow-provider
An Apache Airflow Provider for Bacalhau (a Compute over Data framework)
tchataigner/bellpepper
SNARK Circuit library
tchataigner/bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
tchataigner/builtin-actors
The Filecoin built-in actors
tchataigner/circom-scotia
tchataigner/criterion.rs
Statistics-driven benchmarking library for Rust
tchataigner/evm-course
tchataigner/front-basics
tchataigner/gokit-trial
Go Kit Playground
tchataigner/graphene
Repository for the Graphene project for the NFTHack 2022
tchataigner/guild.xyz
A tool for token-curated communities.
tchataigner/keccak-256
tchataigner/keccak-playground
tchataigner/keccak256-circom
keccak256 hash implementation in Circom
tchataigner/madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
tchataigner/mock-crate
tchataigner/modules
All Glif npm modules
tchataigner/pair-tim
tchataigner/pair-tim-front
tchataigner/ref-fvm
Reference implementation of the Filecoin Virtual Machine [v0, beta]
tchataigner/sismo-docs
tchataigner/solidity-verifier
Solidity implementation of Nova proving system verifier
tchataigner/todelete
tchataigner/token-basics
Some templates for training purposes
tchataigner/wagmi-magic-connector
wagmi connector to connect with Magic SDK
tchataigner/zaun
solidity contracts for the StarkNet Decentralized Protocol proposal