Parses $MFT from NTFS file systems

Ghostty for the web with xterm.js API compatibility

Private Cloud Compute (PCC)

Lean 4 programming language and theorem prover

A PowerShell script to decrypt your Signal Desktop config, allowing you to move the database to a new computer.

🦊 Node.js API to control Firefox

🦉 A grounder and solver for logic programs.

OBS Studio - Free and open source software for live streaming and screen recording

Type aware linting for oxlint

Mirror of the Z shell source code repository.

SumatraPDF reader

Grand Theft Auto V Source Code Guide for PC and PS4.

X11 -> Wayland local display proxy

Rust ORM for ScyllaDB and Apache Cassandra

youtube video renderer

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

[MLsys2026]: RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal device.

Open Source Continuous File Synchronization

Vitess for Postgres

A file server that supports static serving, uploading, searching, accessing control, webdav...

A cpmpy-based library for constraint acquisition.

Port of OpenAI's Whisper model in C/C++

An ahead-of-time JavaScript compiler

Official Repository of Absolute Zero Reasoner

X-Ray Glasses for TypeScript any Types

⚡ Next-gen Web Extension Framework

Interactive exercises to get familiar with TypeScript's most advanced features

A typescript transformer that automatically generates validation code from your types.