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

A curated collection of comprehensive Fetch.ai Innovation Lab examples, showcasing advanced use cases and detailed implementations beyond the main documentation.

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

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.