RISC-V architecture concurrency model litmus tests

A Windows Internals proof of concept demonstrating how Logon Type 3 (Network) authentication bypasses UAC token filtering.

3D engine with modern graphics

TriAttention — Efficient long reasoning with trigonometric KV cache compression. Enables OpenClaw local deployment on memory-constrained GPUs.

Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines

Terraform & OpenTofu Skill for AI Agents - testing, modules, CI/CD, and production patterns

World's First Vibecoded AI Operating System

Heroes3 Savegame Editor

A feature-rich command-line audio/video downloader

UnRen Toolkit — Multilingual Batch Launcher and Scripts for Ren'Py Games

A tiny experimental language designed to be targeted by coding LLMs

pg_lake: Postgres with Iceberg and data lake access

A native, in-world music player mod for Death Stranding.

A serverless proxy implementation that uses NAT hole punching to establish QUIC tunnels through AWS Lambda functions

LLVM Code Generation, published by Packt

Windows Subsystem for Linux

Interactive visualizations of the geometric intuition behind diffusion models.

fheroes2 is a recreation of Heroes of Might and Magic II game engine

MCP Server for Ghidra

The Ren'Py Visual Novel Engine

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Tensor library for machine learning

Main Web Site (Online Books)

pix2tex: Using a ViT to convert images of equations into LaTeX code.

The Daedalus data description language

Fixed-Point Decimal Library from Carnegie Mellon University

Infrastructure for researching self-driving databases

Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.

The BusTub Relational Database Management System (Educational)