River Dillon's repositories
signal_collider
signal processing automata
platform
shared platform layer
Language:CMIT000
llvm-project
personal research fork of LLVM
NOASSERTION000
PLT
formalizing bits of programming language theory
Language:Coq000
handmade_math
linear algebra C library
Language:CCC0-1.0000
stb
stb single-file public domain libraries for C/C++
NOASSERTION000
gustavsson
Single-file public domain libraries for C/C++
000
microui
A tiny immediate-mode UI library
MIT000