PersonaPlex code.

Yet another block/voxel game; in this one the blocks are made out of blocks. Runs in browsers on WebGPU+WebAssembly.

Compiler from OCaml to Javascript.

Shared intelligence layer for organizations

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

The WebSocket library in C

Like a garden, you reap what you sow, but mostly pull weeds.

Formalized Cryptography Proofs in Lean 4

TypeScript compiler and JavaScript engine in Lean

Orchestrate multiple coding agents from desktop and mobile

🌍 P2P Network Routing Overlay designed for the Web platform (browsers)

Run a 1-billion parameter LLM on a $10 board with 256MB RAM

Perfect Green Screen Keys

Sandbox any AI agent in seconds - zero setup, zero latency.

Manage your macOS using Nix

The Bluesky Social application for Web, iOS, and Android

IronClaw is an Agent OS focused on privacy, security and extensibility

MCP server for Prosperous Universe game data provided via the FIO API

🗝️🐝✨ Rust workspace for Keyhive and related crates

CLIs in the browser & terminal.

Heavy Duty Persistence for Lua 5.2 and 5.3

Sybil-Tolerant Reputation for Merit-based Tokenomics

A native implementation of TLS in Javascript and tools to write crypto-based and network-heavy webapps

A proof-of-concept TypeScript TLS 1.3 client

A TLS client implementation in typescript

A curated list of JavaScript/ECMAScript runtimes, app frameworks, and engines.