Generic command-line automation tool

Productive, portable, and performant GPU programming in Python.

Hypothesis-like property testing for Rust

Historical aerial photos of UCSD's campus, archived from Campus Map (2009) in case it is affected by the TSS transition

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Roshi is a large-scale CRDT set implementation for timestamped events.

Yet another blog by SheepTester

CAD for the terminal

A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀

A feature-rich TUI client for Discord

PWA adaptation of Simon Tatham’s Portable Puzzle Collection

Simon Tatham's Portable Puzzle Collection

Linux payload implementing HV exploits to run a custom bootloader

A dynamic user interface for adjusting theme, plugin, and snippet CSS variables within Obsidian

A C++ & Python viewer for 3D data like meshes and point clouds

80+ production-ready AI agent examples in Python — build autonomous agents, multi-agent systems and agentic AI with uAgents, ASI:One, MCP, A2A, LangChain, CrewAI, Gemini, Claude and OpenAI.

Formalization of depth-first search in Lean

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

The Lean Computer Science Library (CSLib)

Easily and securely send things from one computer to another 🐊 📦

Stores your data in ICMP ping packets