SanjitKal's Stars
freeCodeCamp/freeCodeCamp
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
binhnguyennus/awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
python/mypy
Optional static typing for Python
theanalyst/awesome-distributed-systems
A curated list to learn about distributed systems
fogleman/Craft
A simple Minecraft clone written in C using modern OpenGL (shaders).
rShetty/awesome-distributed-systems
Awesome list of distributed systems resources
timescale/tsbs
Time Series Benchmark Suite, a tool for comparing and evaluating databases for time series data
erkmos/haskell-companies
A gently curated list of companies using Haskell in industry
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
nsnam/ns-3-dev-git
GitHub read-only mirror of ns-3-dev repository, will be kept in sync with main GitLab.com repository. Please DO NOT file pull requests here; instead, file issues and merge requests at https://gitlab.com/nsnam/ns-3-dev/
disco-lang/disco
Functional teaching language for use in a discrete mathematics course
EtherealPtr/Titan-Voyager-Custom-Game-Engine
3D FPS game written from scratch in C++ and OpenGL.
somilgo/battle_bots
Competitive AI for a simple game