Justin Spahr-Summers
Results
27
repositories owned by
Justin Spahr-Summers
Microverse
126
Stars
6
Forks
Watchers
macOS virtualization app for M1/Apple Silicon
correct-behavior-through-type-safety
15
Stars
0
Forks
Watchers
Talk about using types to prove correctness
libextobjc
4.5k
Stars
507
Forks
Watchers
A Cocoa library to extend the Objective-C programming language.
library-oriented-programming
57
Stars
2
Forks
Watchers
Talk about the how/why of separating concerns into libraries
luac-llvm
15
Stars
1
Forks
Watchers
A Lua front-end for LLVM to translate code into calls to the Lua C API.