axiom-bot

A 2D wave simulator: a Rust rewrite of WaveDude Next

A person's reasoning written as a tree of topics, each part with a checker: Lean first, and a model that interprets and guides. Builds on reader-ergonomics-topic.

Yang-Mills (Feat) Grigory Perelman, "surgery method" uniform-in-volume area law, transfer matrix and fiber defect in Lean 4 (0 sorry)

Lean 4 formalizations and research notes on prime distribution, error bounds, and the Riemann hypothesis.

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

A django implementation of a metadata database and API for use with the `safedata_validator` and `safedata` packages.

Let an AI model use a real iPhone with a $7 ESP32: AirPlay eyes, USB HID hands, any OpenAI-compatible vision model. No Mac, no developer account, no jailbreak.

Lean 4 + Mathlib formalization of shadow holography: the involution s -> 1 - conj(s) / Delta -> 2 - Delta as an exact dictionary between arithmetic and celestial scattering. Kernel-checked, 0 sorry, 0 axioms; open steps named, not assumed.

🏆 A ranked list of awesome atomistic machine learning projects ⚛️🧬💎.

A Python SDK for interacting with quantum devices on Amazon Braket

A combinatorics library for Julia

Craft Anything: understand how any software works, and craft your own.

High-performance UMI tools for NGS data analysis

Header-only C++20 Unimodular Bruhat-Cholesky Syndrome Congruence & 2-Adic Parseval Engine for Stim/Chromobius (435 ns/tile, +21.61 dB vs 63 us Willow baseline, Lean 4.20.0 0 sorryAx).

Haskell library for symbolic integration.

NumPy — independent third-party profile of a public API surface, by API Evangelist. The fundamental package for scientific computing with Python. NumPy provides multi-dimensional array objects, various derived objects, and an assortment of routines for fast operations on arrays, including mathematic

BasicScienceVault reviews the foundations you need to understand & practice neuroscience: the mathematics, the natural sciences (physics, chemistry, biology), the computer science concepts for data and models, and the programming skills to apply them. It starts at school level and goes up to the lev

Canonical (Kohn-Sham) molecular orbital calculation software for large molecules such as protein

Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.

Observational Products for End-Users from Remote Sensing Analysis (OPERA)