A collection of TLA⁺ specifications of varying complexities.

Apache DataFusion SQL Query Engine

Language Server Protocol implementation for Swift and C-based languages

The P programming language.

Spike, a RISC-V ISA Simulator

A graphical processor simulator and assembly editor for the RISC-V ISA

Blazing fast, structured, leveled logging in Go.

Concurrency toolkit for Go

Refactoring and code transformation tool for Go.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

simple terminal UI for git commands

The MongoDB Database

📓 Lint commit messages

Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.

Secure and fast microVMs for serverless computing.

remote delta-compression library

The OpenAPI Specification Repository

Kolmogorov Arnold Networks

Go/gRPC service designed to enable generic rate limit scenarios from different types of applications.

CoreNet: A library for training deep neural networks

DooM in the terminal!

Learn Rust by writing Entirely Too Many linked lists

https://github.com/docker/docker/issues/21142 prototypes

Collection of Docker Compose healthcheck examples. Tested with Docker Compose version 3.8

A library for building fast, reliable and evolvable network services.

Find Inspiration in Design Elements.

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

A guide to using Lua in Neovim

A complete computer science study plan to become a software engineer.