stillsaiko's Stars
andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
Wollnashorn/Voronoi
Fast and lightweight implementation of the Fortune algorithm for generating Voronoi diagrams and Delaunay triangulations