gabriel-barrett

gabriel-barrett's Stars

• VictorTaelin/WebMonkeys

  Massively parallel GPU programming on JavaScript, simple and clean.

  Language:JavaScript1.2k371647

• lurk-lab/yatima

  A zero-knowledge Lean4 compiler and kernel

  Language:Lean11081158

• cardiffman/fpg

  Spineless G machine lab

  Language:C++10