Stars
A command line tool to mine and analyze data from version-control systems
A comprehensive list of books on Software Architecture.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
List of awesome university courses for learning Computer Science!
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Microsoft Office (MAPI, WOPI, and FSSHTTP) inspectors for Fiddler
Tutorials and programming exercises for learning Q# and quantum computing
Q# compiler, command line tool, and Q# language server
HTTP load testing tool and library. It's over 9000!
A random generated retro feeling created FPS parkour styled runner (in the making)
๐ Path to a free self-taught education in Computer Science!
Student files for CS245 Programming Assignment 1: In-memory data layout
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Standard Go Project Layout
Curated list of Go design patterns, recipes and idioms
Educational blog posts for Rust beginners
Main Memory Column Store DB (Harvard CS 165 Semester Project)
Command-line tools for working with Architecture Decision Records
open source training courses about distributed database and distributed systems
๐ Awesome lists about all kinds of interesting topics
A collection of resources for learning type theory and type theory adjacent fields.