A curated list of awesome things related to learning Circle STARK.

Read and write variable sized integers in C

This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.

StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation

Virtual Analog Oberheim based synthesizer.

Kyber IND-CCA2 KEM in Rust

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

A framework for SPDZ-style maliciously-secure MPC.

Sound streaming in shambles

Experimental folding schemes library

reference implementation in Sage for hyperelliptic curves over prime fields

Multi-party computation libraries written in Rust 🦀

The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

A GTK user interface for TLP written in Python

Feature-rich wifi hotspot creator for Linux which provides both GUI and command-line interface. It is also able to create a hotspot using the same wifi card which is connected to an AP already ( Si…

Monero (XMR) Stratum protocol proxy

Minimal TCP-only async SOCKS5 client Rust library

World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.

Inspect a command's effects before modifying your live system

Nova: High-speed recursive arguments from folding schemes

Google Research

a World of Warcraft Addon Manager aimed at Linux players

Using android phone as 4K webcam for online meetings

DKG using BLS12-381