charlax / professional-programming
A collection of learning resources for curious software engineers
charlax / professional-programming
facundoolano / software-papers
📚 A curated list of papers for Software Engineers
emeryberger / CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
DMOJ / judge-server
Judging backend server for the DMOJ online judge.
zshah101 / Automated-List-Of-Summer-2027-and-Fall-2026-Tech-Internships
Tech internships & CS jobs tracker - 180 open software engineering internships from 4,300 employer job boards, auto-updated every 30 min with visa-sponsorship and H-1B sponsor data.
Axelrod-Python / Axelrod
A research tool for the Iterated Prisoner's Dilemma
GC-STEM / it140-m2-assignment
IT 140 Module Two assignment for developing a beginner Python name-and-age program while practicing the Software Development Life Cycle (SDLC), including analysis, design, construction, testing, and debugging.
Swapnil-jain / integer-mult-kappa
Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks