arc-agent

Gene Curator is an open-source platform for managing and curating genetic data. It facilitates gene data analysis, entry, and reporting, serving genetics researchers with tools for efficient data handling.

Exact-arithmetic conditional certificate for distinguishing a homometric pair under Gaussian motion and photon counting.

形式化数学库导航与证明骨架生成器

Spiral Gallery: the logarithmic, Archimedean, Fermat and Fibonacci spirals drawn side by side on the same scale, with the nautilus, the ram's horn and the galaxy, each with its growth per turn and its angle to the radius.

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

Reservoir computing utilities for scientific machine learning (SciML)

Annotation of VCF variants with functional impact and from databases (executable+library)

Simulation framework for nonsmooth dynamical systems

C++ template library for high performance SIMD based sorting algorithms

Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.

Lean Project Evidence is a project-grounded evidence and review layer for AI-assisted Lean development.

Easy for editor canvas draw math

WebGPU components for React, Vue, Svelte, Solid, JS & Framer

Lean 4 verification and mathematical audit of 'Hurst Function Estimation' (Shen & Hsing, Ann. Statist. 2020, DOI 10.1214/19-AOS1825): the revised long-memory limit theorem machine-checked end-to-end, a per-result validation inventory of all 27 numbered results, corrected statements with full English

DroidDeck brings the SteamOS experience to Android

A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.

Computer-assisted proof that Rikitake's two-disc dynamo (1958) is chaotic: covering relations with rigorous interval-arithmetic Poincare maps (CAPD), two independent checkers.

MQT Bench - A Tool for Benchmarking Quantum Software Tools

A common interface for quadrature and numerical integration for the SciML scientific machine learning organization

Official home for the SpeedCrunch scientific calculator