Parquet reader/writer for MoonBit.

Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…

Fast drag and drop for any experience on any tech stack

Optimized string search routines for Rust.

no_std HTTP client & server for embedded systems

A novel data compression framework

The open-source CapCut alternative

JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system

Pure TypeScript media toolkit for reading, writing, and converting video and audio files, directly in the browser.

Awkernel: realtime operating system written in Rust

A fast bump allocation arena for Rust

SatCat5 is a mixed-media Ethernet switch that lets a variety of devices communicate on the same network.

関数型まつり2025 での「ラムダ計算と抽象機械と非同期ランタイム」の発表に使った諸々

Demo here

Containerization is a Swift package for running Linux containers on macOS.

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Detect concurrency and memory bugs and possible panic locations in Rust projects

Extension for Saleae Logic implementing a 10BASE-T1x MAC-PHY Serial Interface Protocol Analyzer

The flight software for SC Sat1

Fast Rust bundler for JavaScript/TypeScript with Rollup-compatible API.

Detects usage of unsafe Rust in a Rust crate and its dependencies.

Generate impressive-looking terminal output to look busy when stakeholders walk by

[CVPR 2025 Best Paper Award] VGGT: Visual Geometry Grounded Transformer

Staging repo for development of native port of TypeScript

12 Lessons to Get Started Building AI Agents

A serial device I/O tool

Type-erased Serialize, Serializer and Deserializer traits

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