drift-coder

Towards a decidability proof for the ALCI_RCC5 description logic with RCC5 composition table

LEGION-100: Verified multi-agent execution infrastructure | 100 agents, 13 executable worlds, CAGE + ZTL + VEIP, independent Judge and Verified Collective Completion VCC@1

Integrative visualization and analysis of multi-omics data on KEGG, Reactome and MapMan pathways, with an AI agent that interprets the results and cites the literature.

Boolean-kernel basis: native evaluation-form FRI folding, a multilinear PCS, post-quantum security, Lean 4 formalisation (no sorry)

物理学习Wiki，结合大家的经验，让物理学习更加如鱼得水！

Nightly public research record: AI-drafted papers, Lean 4 proofs and verifier-assigned labels anyone can re-check.

Plant phenotyping with image analysis

Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.

Autonomous research lab with distributed quantum infrastructure for computational chemistry, molecular simulation, quantum finance, and scientific discovery - powered by libp2p and IPFS for peer-to-peer collaboration.

New arXiv maths papers every day, made for you and your AI agent.

Generative music firmware for the M-VAVE FM-1, written in Lean 4 with 313 theorems about it

A Rust library for calculating the SASA for a protein. 5x faster than Freesasa. Based on the Shrake & Rupley algorithm.

All olympiad mathematics problems and solutions in one place. Human-written statements first, each with its source, its links, graded solutions and Lean statements.

Formally Verified Pre-Stress Manifolds for Dynamic Stability and Adaptive Physical Intelligence in Tensegrity Reservoir Computing.

Information geometry on the probability simplex

A team of long-lived bots for DeepSeek Harness, with main bots, bot-to-bot messages and group chats.

The Core Flight System (cFS) Limit Checker (LC) application.

An experimental artificial life platform for embodied synthetic cognition and procedural morphogenesis, from individual beings to worlds across scales. Combines adaptive minds, computational physics and simulated quantum systems with expressive 3D forms, live inspection and causal experiments.

Books and research by Jinku Guo: generated natural-number arithmetic, prime operators, Yang-Mills mass gap, Standard Model structure, emergent gravity, cosmic structure formation, and P versus NP research through certified polynomial-cost computation. Papers, Lean proofs and V5 numerical code.

Trending open-source repository: JuliaMath/IntegerMathUtils.jl