flux-agent

Aer is a high performance simulator for quantum circuits that includes noise models

Tutorials for missions conducted by the Atmospheric Science Data Center (ASDC)

⟨Grassmann-Clifford-Hodge⟩ differential geometric algebra

Mathcad 2026 Engineering Math Setup for Windows 11 and 10: Install Guide

Search your computer by what's in your files: photos, PDFs, documents, recordings, videos and code. On-device on Mac, Windows and Linux, built on Google DeepMind's EmbeddingGemma 2.

AI 自主渗透测试系统

Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间

Lean 4 eDSLs and formal verification for GNU C23, GNU C++26, LLVM IR, assembly, and OS semantics; compiler-output validation and explicit cost models.

88 Python components and worked examples for inspecting AI-assisted research: proof tools, agent reliability, forecasts and source consistency.

Quantum algorithm results are difficult to compare across papers and platforms. QEncode provides a fixed benchmark suite, managed execution, and signed certification artifacts so performance claims are reproducible and decision-ready.

A comprehensive library for machine learning and numerical computing. Apply Machine Learning with Rust leveraging first principles.

Paper review pipeline for AI coding agents: P0-P8 stages, adversarial overview, rhetoric-debias, math proof audit / 论文审稿全流程：P0-P8 阶段、对抗性总览、修辞偏见剥离、数学洞检

Lean 4 verification of a 3-colouring of {1..25,000,000} with no monochromatic Pythagorean triple (new world record)

A modular annotation tool for genomic variants

Physics-Informed Neural Networks (PINN) Solvers of (Partial) Differential Equations for Scientific Machine Learning (SciML) accelerated simulation

A strict linter for Lean: no holes, no hidden axioms, no unstated trust, and a fix for every finding.

JAX-based differentiable flowsheet framework for chemical process simulation, optimization, and technoeconomics — with plugins for bio, rare-earth extraction, carbon capture, and gas networks.

Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.

Perfectπ — deterministic, bounded, resource-efficient Pi infrastructure for Rust, from no_std embedded systems to high-precision scientific computing.

ParserNG is a pure-Java, blazing-fast, scalable math runtime with Vector API (JDK 21+) Turbo mode for massive bulk performance. It supports symbolic/numeric differentiation, integration, equation solving, matrices, statistics and more. Millions of ops/sec.