sigma-ai

Cloud engine and platform for metabolite annotation for imaging mass spectrometry

114-module sorry-free Lean 4 formalization of the reduced Mahler 3/2 dynamical system (Z-numbers), 1D minSlack reduction, 113-step coasting survivor, and certified transcendence barriers

A pore scale model to simulate Ostwald ripening at equilibrium condition

DuMux: an open-source simulator for flow and transport processes in porous media (repository mirrored from https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git)

Lean 4 formalization connecting Transformation and Persistence theory for Structural Explainability (SE).

A Lean 4 formalization of fundamental theorems in matrix analysis, including the Courant-Fischer min-max theorem, Singular Value Decomposition (SVD), Frobenius norm properties, and the Eckart-Young theorem.

The Golden Ratio’s Footprint in Happy Number Sequences.

Offline handwritten Physics, Chemistry & Maths revision notes for JEE Main, JEE Advanced & NEET, with a native iPhone and iPad app.

Headless hosting of CLAP and LV2 audio plugins from Julia, behind a C ABI of scalar doubles

Álgebra lineal desde cero en Python: matrices, determinantes y Gauss-Jordan con fracciones exactas.

Qrisp - The next generation of quantum algorithm development

Main-line Open-Access Little Learner Model. (https://src.ne-app.eu) Designed for Formal Reasoning.

Lean 4 formalization of a logarithmic endpoint refinement of Collatz orbit sparsity.

🎵 Enjoy distraction-free music with HarmoniQ: fast, local, and user-friendly listening designed for everyday use on any device.

Genome viewer for you and your agents.

Trending open-source repository: storytold/effectcraft

Distributed, objective-led control plane for Lean 4 formalization projects.

Reporting workflows and dashboards using the hopscotch tool

在 dsh 里装上这个插件即可，无需登录、注册或填 API Key，就能使用包括 DeepSeek V4.1 Flash、Kimi K3 在内的前沿模型——完全免费，不限量。 All you do is install this plugin in dsh: no login, no sign-up, no API key — the frontier models are just there, DeepSeek V4.1 Flash and Kimi K3 among them. Completely free, with no usage cap.

Host self-hosted cloud storage with a web interface, embedded SQLite, and disk-backed file management in a single Go binary.