svanderbleek

x-language-review

Reviews of up and coming programming languages

asyncfilecli

cedar

Implementation of the Cedar Policy Language

cs164-compiler-m1

m1 port of berkeley cs164 "Programming Languages and Compilers"

dev-vue-app

django-practice

electricdevils

elite-programming-interview-performance

Book idea

express-practice

from-bits-to-brouwer

a book on practical mathematics in dependent type theory

gg

guessing game

go-compiler-optimization-var-func-pointer

go-exhaustive-sum-types-verified

Use a verifier to give go exhaustive sum types

go-interview-server

short go interview challenge

goguen

Playing around with some ideas for writing a proof system in Rust

golang-practice

graphql-react-practice

ive-got-a-faang

tmbg reference and study guide

k8-practice

makesomething

nppes-npi-api

omnigres

Postgres as a Platform

pubgrub

PubGrub version solving algorithm implemented in Rust

python-interview-prep

you know

simpteachcs

some simple teaching ideas for cs concepts

slimeOS

svanderbleek

special readme repo

twpgtwp

The Working Programmer's Guide To Working Programs

typescript-jest-practice

workers-must-seize-the-means-of-production