Configuration files for my NixOS and nix-darwin machines. Moved to https://git.notthebe.ee/notthebee/nix-config

Source code for the book Rust in Action

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Virtual whiteboard for sketching hand-drawn like diagrams

A web application for studying Ancient Greek texts with integrated lexical, syntactic, and morphological analysis tools.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Neovim support for the Lean theorem prover

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Performant, batteries-included completion plugin for Neovim

An implementation of the chip-8 emulator in rust for educational reward

Generate a Go struct from XML.

Home of OpenVMM and OpenHCL

Style guides for Google-originated open-source projects

Yet another Yogurt - An AUR Helper written in Go

Asynchronous Programming in Rust, published by Packt

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

tmux source code

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

"Good Luck With That" Public License

Standard Go Project Layout

Monospaced font family for user interface and coding environments

A duck that waddles arbitrarily in neovim.

🥑 Language focused docker images, minus the operating system.

A Dockerized version of the Satisfactory dedicated server

A pure Unix shell script ACME client for SSL / TLS certificate automation

A simple neovim plugin for creating search tabs in the default browser through Google programmable search

Production-Grade Container Scheduling and Management

HCL is the HashiCorp configuration language.