gramseyer

libmmap

Library for implementing an mmap API in a kernel or runtime

wac

WebAssembly interpreter in C

open-and-shut

Type in Morse code by repeatedly slamming your laptop shut

gwpsan

GWPSan: Sampling-Based Sanitizer Framework

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

succinctx

The schelling point for ZK applications.

lfi

LFI: Practical, Efficient, and Secure Software-based Sandboxing

valida

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

sp1

A performant, 100% open-source, contributor-friendly zkVM.

ControlNet

Let us control diffusion models!

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

Sketch-a-Sketch

Controlling diffusion-based image generation with just a few strokes

jolt

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

papers

lightspark

An open source flash player implementation

ruffle

A Flash Player emulator written in Rust

chibicc

A small C compiler

era-boojum

Boojum, the scariest SNARK implementation.

ecmh

Elliptic Curve Multiset Hash

BanditPAM

BanditPAM C++ implementation and Python package

stanford-thesis-example

Stanford LaTeX thesis template

DragGAN

Official Code for DragGAN (SIGGRAPH 2023)

Academic_Smart_Contract_Papers

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

FTCcode

Pickle Demo Code for a Mecanum Drive Robot

Stockfish

A free and strong UCI chess engine

firedancer

Firedancer is Jump Crypto's Solana consensus node implementation.

RA

veriwasm

SFI verifier of Wasm binaries

tinyzkevm