Sandy Vanderbleek's repositories
x-language-review
Reviews of up and coming programming languages
Language:Kotlin000
cs164-compiler-m1
m1 port of berkeley cs164 "Programming Languages and Compilers"
Language:HTML000
000
from-bits-to-brouwer
a book on practical mathematics in dependent type theory
go-exhaustive-sum-types-verified
Use a verifier to give go exhaustive sum types
go-interview-server
short go interview challenge
ive-got-a-faang
tmbg reference and study guide
pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.0000
python-interview-prep
you know
simpteachcs
some simple teaching ideas for cs concepts
Language:Ruby000
svanderbleek
special readme repo
000