rdck

Pinned Repositories

compiler
recurse center compiler experiments
Language:OCaml10
ctfp
Category Theory For Programmers (In OCaml)
Language:OCaml0 1 00
gustavsson
Single-file public domain libraries for C/C++
Language:C00
handmade_math
linear algebra C library
Language:C00
llvm-project
personal research fork of LLVM
Language:LLVM00
microui
A tiny immediate-mode UI library
Language:C00
signal_collider
signal processing automata
Language:C30

rdck's Repositories

rdck/signal_collider
signal processing automata
Language:C30
rdck/compiler
recurse center compiler experiments
Language:OCaml10
rdck/ctfp
Category Theory For Programmers (In OCaml)
Language:OCaml0 1 00
rdck/gustavsson
Single-file public domain libraries for C/C++
Language:C00
rdck/handmade_math
linear algebra C library
Language:C00
rdck/llvm-project
personal research fork of LLVM
Language:LLVM00
rdck/microui
A tiny immediate-mode UI library
Language:C00
rdck/platform
shared platform layer
Language:C00
rdck/PLT
formalizing bits of programming language theory
Language:Coq0 1 00
rdck/stb
stb single-file public domain libraries for C/C++
Language:C0 0 00