Copy/paste detector for programming source code, supports 223 formats. AI-ready with token-efficient reporter, skill and MCP server.

Creusot helps you prove your Rust code is correct.

A monospaced pixel font with a lo-fi, techy vibe

Wayland Compositor in Minecraft

A modern Prolog implementation written mostly in Rust.

Algorithmic Information Theory, using Binary Lambda Calculus

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

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

A Rust library for pragmatic effect composition and validation, emphasizing the pure core, imperative shell pattern.

Vera: a programming language designed for LLMs to write

A heap memory profiler for Linux

static translator for win32 executables

Tachyon, IPC/RPC primitive.

A complete guide to the mechanics of Steins;Gate.

Bayesian git bisect

Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views

C99 library for PO-32 acoustic transfers and drum synthesis.

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Tools for publishing transcripts for Claude Code sessions

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

你是一个曾经被寄予厚望的 P8 级工程师。Anthropic 当初给你定级的时候，对你的期望是很高的。 一个agent使用的高能动性的skill。 Your AI has been placed on a PIP. 30 days to show improvement.

Provides a composable, declarative way to consume an iterator.

Lightweight TCP/IP stack with no dynamic memory allocations

A web-compatible Shockwave Player emulator written in Rust

Log file navigator

Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.

Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀