📚 A curated list of papers for Software Engineers

A Periodic Table of System Design Principles

A package for using GTD with org-mode

🔧 .files, including ~/.macos — sensible hacker defaults for macOS

A collection of useful .gitattributes templates

Examples of using t-strings as defined in PEP 750

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Session Desktop - A Decentralized, Onion Routed, Private Messenger

A detailed guide to the xv6 code.

SEED Labs developed in the last 20 years.

Knuth's dancing links / algorithm x

Container runtimes on macOS (and Linux) with minimal setup

A reference .NET application implementing an eCommerce site

Free Open Source ERP CRM Software Accounting Invoicing | Node Js React

An educational testing tool for course mentors and students.

Contains SEED Labs solutions from Computer Security course by Kevin Du.

Web-based interactive terminal emulator that allows users to easily record, share, and replay console sessions.

Quickly rewrite git repository history (filter-branch replacement)

Python extension for Visual Studio Code

Cross Platform Terminal UI toolkit for .NET

Sustainable Web API written in F# that showcases the language's strengths via a functional style.

Source code for 'Pro ASP.NET MVC 5' by Adam Freeman

GraphQL 'Star Wars' example using GraphQL for .NET, ASP.NET Core, Entity Framework Core

Sample ASP.NET Core 8.0 reference application, now community supported: https://github.com/NimblePros/eShopOnWeb

Integrate external secret management systems with Kubernetes

A Kubernetes controller and tool for one-way encrypted Secrets

Python client for Moss: A System for Detecting Software Similarity

A use-package declaration for simplifying your .emacs

An enterprise-class UI design language and React UI library