Code auditing productivity multiplier.

A command line tool to mine and analyze data from version-control systems

A comprehensive list of books on Software Architecture.

A collection of awesome CRDT resources

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

C# Dependency Graph based on Reflection

Go OAuth2

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

GitHub Actions as CI for Go

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 [NOTE: Pull requests are temporarily disabled until I have a chance to catch up with the existing ones]

A collection of resources for learning type theory and type theory adjacent fields.