The free and privacy respecting pictionary game - Play at https://scribblers.fly.dev

A lisp dialect based on pattern matching and term rewriting

Envision a future where every student can read all the code of a teaching operating system.

A curated list of awesome ZK resources, libraries, tools and more.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Game Boy Coding Adventure companion repository

A tiny C header-only risc-v emulator.

Zig RISC-V32 emulator with Linux and baremetal examples

I write a C-style pseudo codes to describe what does every single RV64I instruction do. If you spot something wrong, change it plz

Provable play of Nintendo Entertainment System in Noir

Lean 4 programming language and theorem prover

SMT 2023 Submission; license pending

circom language server

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

👓

Automated verification of uniqueness property for ZKP circuits

Solves systems of polynomial equations.

A curated list of repos related to Circom

Ecne: An engine for verifying the soundness of R1CS constraints

STARK-based virtual machine

keccak256 hash implementation in Circom

A build-time dependency for linking go code into Rust.

🚀 Visualise your Go program runtime metrics in real time in the browser

Vocdoni documentation

Atari 8 bit computers, NES and SMS game consoles on your TV with nothing more than a ESP32 and a sense of nostalgia

An wrapper for libsodium in golang

Server that renders markdown files and live updates the page each time that the file is updated

Go core implementation of the iden3 system