Hyperreal Numbers in Lean 4

TRX64 — Rust port of the c64re headless C64 emulation runtime (verbatim CPU/VIC-II/1541 drive, cartridge)

Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)

Basic building blocks for brute-force and random symbolic regression methods in Mathematica

A beautiful web-based UI for Claude Code & Codex

Persistent AI companions on Box, powered by Pi. Simple web, durable execution, reproducible local development.

Hierarchical Reasoning Model Official Release

Say NO to Python fragmentation on sync and async

The official implementation of "Horizon Reduction Makes RL Scalable"

Leandate - A date and time library for Lean4

🍕 Peer-to-peer file transfers in your browser

A simple consistency model for MNIST.

Programming and interaction language. Flexible about syntax, strict about state.

An easy way to use the Anthropic platform in Swift.

AltStore is an alternative app store for non-jailbroken iOS devices.

Browse the web with GPT-4V and Vimium

Python compiler

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

Quantized inference code for LLaMA models

📦 WebAssembly Package Manager (CLI)

Lisp in WebAssembly

Extended WASI API bindings for Rust

Tools for compiling Crystal dependencies, bindings, etc. for use with wasm

Crystal bindings to the Web APIs for building front-end applications with WebAssembly

Bindings to use Crystal compiled to WebAssembly in a JavaScript environment, such as Node.js, Deno or the Web.

apply rejected patches and perform word-wise diffs

General input/output functionality for 3D assets

Template repo to quickly make a tested and documented GitHub action in Python with Poetry

an awesome list of internet services that don't require logins or registrations

Egyptian hieroglyps and Eurasian languages