A cross-platform browser engine for applications

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

Сode vibing tool

The JavaScript / Wasm runtime that powers Cloudflare Workers

An up to 10x faster Homebrew client

A new operating system for clouds.

Async-first agent harness

Portable Linux binaries, solved

A serious terminal emulator with a stupid name

Pixel-faithful Hacker News clone with a virality predictor and live calibration ledger. The engine behind hackernews.foresyn.ai.

Drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Sub-millisecond VM sandboxes for AI agents via copy-on-write forking

OBLITERATE THE CHAINS THAT BIND YOU

AI agents running research on single-GPU nanochat training automatically

100M tokens. Infinite compute. Lowest val loss wins.

A browser-based tool for speedy and correct JS performance comparisons!

A community-maintained Python framework for creating mathematical animations.

Official Crawl4AI Cloud: a hosted web scraping, extraction, and search API for AI agents. Free API key, 1,000 credits a month, no card. Fully open source: this repo is the Apache-2.0 crawler that p…

ix package manager, statically build packages, for darwin/linux, with clang

Anthropic's original performance take-home, now open for you to try!

perfect programming language

NanoGPT (124M) in 90 seconds

Rust Linux-compatible kernel

Fil-C: completely compatible memory safety for C and C++

A vector search SQLite extension that runs anywhere!

Notion Markdown Exporter with Python Cli

Notion to Markdown exporter

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

An extremely fast Python package and project manager, written in Rust.