A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Boa is an embeddable Javascript engine written in Rust.

Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

A curated list of references for MLOps

code powering the comma.ai panda

a Python API for your car

Example projects and demos around data streaming , stream processing, change data capture, and more.

Guidelines for building interfaces on the Web.

Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.

A list of awesome Robotics resources

Lightweight Result type for TypeScript with generator-based composition.

Beads - A memory upgrade for your coding agent

GPU texture/buffer performance tester

stb single-file public domain libraries for C/C++

Audio playback and capture library written in C, in a single source file.

A listing of compiler, language and runtime teams for people looking for jobs in this area

Graph theory (network) library for visualisation and analysis

Run frontier AI locally.

An open source multi-tool for exploring and publishing data

Assignments for CS146S: The Modern Software Dev (Stanford University Fall 2025)

Introduction to Machine Learning Systems

An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed

SMT-based reasoning core for Lean4

A syntax-highlighting pager for git, diff, grep, and blame output

Gluster Filesystem : Build your distributed storage in minutes

plasTeX plugin to build formalization blueprints.

CS6868: Concurrent Programming

A scrollable-tiling Wayland compositor.

Public repository of the Micro QuickJS Javascript Engine