pulse-dev

A closed formal universe derived from one primitive operation, with a Lean translation and a reproducible audit that publishes its own open obligations.

Computational biology packages for Go.

Trending open-source repository: nasa/muscat

Free, open-source file converter. Convert 180+ formats offline by drag & drop — images, PDF, Word, Excel, PowerPoint, HWP/HWPX, video, audio, e-books and archives. No upload, no Office needed.

Validates the finite congruence graph criterion from OpenAI's math corpus using exhaustive small-case experiments, independent checkers, and Lean proof checks.

Pore-network models for Ostwald ripening: time-dependent ripening and equilibrium percolation without trapping.

An open textbook for quantum computing theory and its applications.

Lean 4 research environment for formal proofs and verified algorithms — 58 Lean files covering prime number theory, set theory, sorting and GCD correctness, and Lyapunov stability for dynamical systems, plus Python (uv) visualization utilities and 8 GitHub Actions workflows for continuous verificati

Конспекты по разным предметам первого потока ИСy27 университета ИТМО

Lean 4 formalization of Jacobi matrices and Krylov quantum dynamics. Research in progress by Valentino Lanzarini.

Inward Mathematics™ Official Interactive Simulator by ĀRU Intelligence Inc.™—real-time demo of Remembrance Calculus™ (identity-preserving control + guardian projection) and Witness Geometry™ (multi-observer truth reconstruction). Live coherence scoring (Ψ), distortion tracking, and dynamic shocks te

The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.

Open finite element infrastructure for nonlinear computational mechanics.

Educational MCP server with math operations, matrix algebra, data visualization, and persistent workspace

A lightweight, pure-Python library for graphics, geometry, and computational mathematics. No NumPy or compiled extensions.

Computational biology workbench for source-linked mechanism maps, pathway simulations, and reproducible research.

Hydroclimatic data collection and information system

Quantum-Inspired GPU-accelerated Tensor Network Discrete Optimization Solver

Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize.

PyPI-ready graph database resources for SageMath