An open-source, cross-platform terminal for seamless workflows

How to download & install qemu a toolchain suitable for building and running freestanding RISC-V C/C++ programs

The papers and books I've read or am about to read.

Shared peer-to-peer network of zero-knowledge provers

This is the repository to try out different SNARK systems

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A STARK-based VM focused on code reuse, performance, and modularity

Zero Knowledge based Ethereum Virtual Machine in Circom language

Integrating Stone Prover's generated proofs with the Cairo0 verifier

Adapt your STARK stone proofs for verifications on Ethereum

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Chromium fork named after radioactive element No. 90. Windows and MacOS/Raspi/Android/Special builds are in different repositories, links are towards the top of the README.md.

Rust implementation of the Modified Patricia Tree (aka Trie).

Vehicle counting/tracking and speed estimation

Dead simple implementation of Discrete Kalman filter for object tracking purposes

Tutorial for STARKs with supporting code in python

Collect libraries and packages about blockchain/cryptography in Rust

A multitasking operating system and kernel with an interactive shell

Distributed System that simplifies the management of containers and virtual machines.

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

Complete sample application for Spin Developers

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡

A terminal workspace with batteries included

Write Cloudflare Workers in 100% Rust via WebAssembly

Peer-to-peer networking library

Basic Substrate examples for RISC Zero ZKVM usage

interBTC: Bitcoin Anywhere

Template for Gear Academy homework