echo-ai

MF-Mathematics v2: Windows math app for symbolic & numeric computation. C++17 engine (424 actions), Rust + Tauri v2 + WebView2 host, Vue 3 + React UI. Algebra to complex analysis, 2D/3D plotting, step-by-step solutions, AI assistance.

A template for blueprint-driven formalization projects in Lean.

A Python library for simulating the evolution of species, genomes, sequences and traits

A Metamath Zero Verifier Written in Zig

Pangenome-based structural variation caller

The bridge between the NCBI Gene Expression Omnibus and Bioconductor

Fast, flexible tools to simplify scientific Python

Bacterial Isolate Genome Sequence Database (BIGSdb): A platform for gene-by-gene bacterial population annotation and analysis.

A language and calculus of research claim and support for autonomous science

Scientific computing in pure Python creator of scientific-computing-system

An introduction and explanation of the incredible CMA-ES optimization algorithm.

Flask version of the classic meteorite impact application

METAINFORMANT is a Python 3.11+ multi-omic bioinformatics toolkit spanning 28 modules and 650+ files for DNA, RNA-seq, protein, epigenome and single-cell analysis, GWAS with fine-mapping and eQTL, joint PCA, 70+ plot types — uv-managed, 7,700+ tests, demoed on 8,300+ samples across 28 species.

Cryptographic protocol analysis for real-world protocols.

A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages

Free AI mathematics and physics tutor that checks its work.

Standard library incremental machine learning algorithms.

Continuum limits, formal proofs, and emergent dynamics in causal set theory

Lean 4 formalization of infinitary logic and model theory: Scott/Karp, Morley–Hanf, Craig interpolation, López–Escobar, etc.

We might be a little mad: we want to port MuJoCo to Ada/SPARK.