NixOS and Home-Manager configs for my devices. dotfiles, but way better

Empowering everyone to build reliable and efficient software.

A collection of full time roles in SWE, Quant, and PM for new grads.

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Command-line JSON processor

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Self-hosted game stream host for Moonlight.

Turso is an in-process SQL database, compatible with SQLite.

An extremely fast Python linter and code formatter, written in Rust.

Official Git mirror of the SQLite source tree

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

👾 NixOS configuration 👾

NixOS system config & Home-Manager user config

My personal website.

Create ridiculously fast Lexers

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).

LR(1) parser generator for Rust

Game Development & Unreal Engine Programming Guide

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

The BusTub Relational Database Management System (Educational)

Beautiful diagnostic reporting for text-based programming languages.

And I say hey, what's going on?

Wifi & BLE driven passenger flow metering with cheap ESP32 boards

Master programming by recreating your favorite technologies from scratch.

A workbench for writing toy implementations of distributed systems.

A solid language pack for Vim.