echo-ai

Issue tracker for the Magma Computational Algebra System

Reverse-engineer any video, shot by shot: filmed, AI-generated or coded, and how to remake it. 逆向一切视频，逐个镜头看是拍的、AI 生成的还是代码做的，再告诉你怎么复刻。

Exact, replayable proofs that noisy data cannot tell two parameter sets apart, for ODE and PDE models. Certified non-identifiability for inverse problems.

🏙️ A city of AI agents on your machine where nothing is hidden: prompts are plain files you own, and every context is a line in a hash-chained, offline-verifiable Ledger you can replay.

Trending open-source repository: ImperialCollegeLondon/RCDS-introduction-to-latex

SigProfilerMatrixGenerator creates mutational matrices for all types of somatic mutations. It allows downsizing the generated mutations only to parts for the genome (e.g., exome or a custom BED file). The tool seamlessly integrates with other SigProfiler tools.

Trending open-source repository: leanprover-community/mathlib-landing

Interferometric Synthetic Aperture Radar (InSAR) processing ecosystem for Python

compilable markdown for linear algebra

Exploring original mathematical theorems, conjectures, identities, and proofs with AI.

Zorbage: algebraic data types and algorithms for use in numeric processing.

Standing Algebra (Σᴿ): A Closure-Theoretic Operator for Constraining Domination and Preserving Autonomy

1-Shot 136x136 Stiefel-Bianchi Shadow Eigensolver & Carry-Free Witt Bit-Plane Calculus for Qualtran/Cirq (1,754 -> 0 nonlinear GF(2) ANF gates in 1 eigensolve, Lean 4.20.0 0 sorryAx).

Numerical validation and analysis of the oncostreams model: force regularization, neighbor criteria, time-step convergence, and simulation observables.

Lean for JavaScript and WebAssembly runtimes

🐟 🍣 🍱 Highly-accurate & wicked fast transcript-level quantification from RNA-seq reads using selective alignment

Euclid's Elements in Lean, sentence by sentence: Heath's text, Euclid-following proofs, a certificate, and commentary.

A toolkit for low-level operations in DSH, designed to reduce token usage and task execution time / DSH 底层操作工具插件，旨在减少 Token 消耗与任务耗时

:comet: Ultrafast DNA methylation heterogeneity calculation from bisulfite alignments (Lee et al., PLOS Computational Biology. 2023)

A sovereign, deterministic rewrite of 3b1b's manim in pure Rust — native TeX math typesetting (no LaTeX), an analytic Bézier renderer with the 3b1b look, certified bit-reproducible renders, and source compatibility with existing manimlib scenes. One binary; ffmpeg is the only external tool.