A FileSystem Abstraction System for Go

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.

Learn Low Level Design (LLD) and prepare for interviews using free resources.

🐶 Kubernetes CLI To Manage Your Clusters In Style!

A fully-fledged functional effect system for TypeScript with a rich standard library

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

List of Computer Science courses with video lectures.

Starter code for writing web services in Go using Kubernetes.

Open Source Development Platform for building robust type-safe distributed systems with declarative infrastructure

A curated list of awesome Go frameworks, libraries and software

Instant-loading web apps, without effort

A highly extensible Git implementation in pure Go.

A curated list of Rust code and resources.

📚 Freely available programming books

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

A list of Free Software network services and web applications which can be hosted on your own servers

simple terminal UI for git commands

High-Performance server for NATS.io, the cloud and edge native messaging system.

Fast and reliable background jobs in Go

Temporal service

Define your dev environment as code. For microservice apps on Kubernetes.

Helm chart to install Vault and other associated components.

A collection of TLA⁺ specifications of varying complexities.

All Algorithms implemented in Rust

Learn System Design concepts and prepare for interviews using free resources.

The most gigachad project template for TypeScript

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado

🧠 Cognitive Load is what matters