Stars
Building Zero Knowledge Proof from Scratch in Rust
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
RISC-V emulator/simulator in Python
Reference implementation for the book "Writing a RISC-V Emulator in Rust".
Quantum assembly language for extended quantum circuits
🏃 Python3 Solutions of All 27 Problems in GCJ 2022
SharpRISCV is an implementation of RISC-V assembly in C#. First RISC V Assembly that build windows executable file
Source code for the TKET quantum compiler, Python bindings and utilities
pytket-quantinuum, extensions for pytket quantum SDK
This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust
Important concepts in numerical linear algebra and related areas
Master programming by recreating your favorite technologies from scratch.
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Soroban Smart Contract examples security reviewed by Scout and manual auditors