PO's repositories
Advanced-Programming-in-Linux-Environment
Samples and homework of 'Advanced Programming in Linux Environment'
Language:CGPL-3.0000
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
CC0-1.0000
Language:C++Apache-2.0000
aztec-starter
A simple aztec contract + test to get started.
000
ContinualGP
Continual Gaussian Processes
Language:PythonMIT000
continuation-batcher
customizable halo2 circuits batcher
Language:Rust000
Language:RustNOASSERTION000
Language:RustApache-2.0000
Language:C000
min-decision-transformer
Minimal implementation of Decision Transformer: Reinforcement Learning via Sequence Modeling in PyTorch for mujoco control tasks in OpenAI gym
Language:PythonMIT000
Language:Solidity000
Language:Shell000
optimism
Optimism is Ethereum, scaled.
Language:GoMIT000
Language:Rust000
Language:Rust000
sp1
A performant, 100% open-source, contributor-friendly zkVM.
Apache-2.0000
zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
Language:RustMIT000
Language:Python000
000
zkWasm-OOM
Reproduce zkWasm's out of memory issue
Language:Shell000