vortex-ai

R language and Rmath in Rust: a growing interpreter and interactive CLI targeting R 4.6.0 compatibility.

Research lab for the chain germ W=u^5v+v^6: Milnor number 25 vs Aut order 30, Jacobian basis, transpose W^T, Thom-Sebastiani of three blocks. Not a Hodge miss. Author Benjamin Stanley Frohman.

One paper: a Lean 4 proof of the spectral floor for Pauli contextuality; exact contextuality degrees for new 4-, 5- and 7-qubit configurations; a four-qubit cospectral pair with different completion spectra; reproducible Tsotchke-stack experiments and independent verification

コード例で学ぶ Lean 言語

C++17 particle-dynamics lab with CPU, OpenMP and CUDA solvers, collision mechanics, numerical verification and an interactive scientific GUI.

Dissecting human & AI mathematical proofs into exact algebraic invariants, machine-checked Lean 4 theorems, and 4-tier guides (Beginner to AI Parser).

A verification stack for EVM smart contracts, in Lean 4

A cross-platform, efficient and practical CSV/TSV toolkit in Golang

Euclidean plane and its relatives; a minimalist introduction.

Unified Python/CLI time-series decomposition library with native acceleration, multivariate workflows, and machine-readable outputs.

Quadray coordinate and 4D tetrahedral lattice mathematics in Python: integer volume quantization, lattice optimization, a no-mocks pytest suite, and a render_pdf.sh pipeline regenerating figures, data and a Markdown-to-LaTeX manuscript. Zenodo DOI 10.5281/zenodo.16887791.

Welcome to the official documentation repository for the Quantum Computing Student Association (QCSA)

The IDE you know, rebuilt in Rust. IntelliJ IDEA–style keymap, tool windows and search-everywhere in a fast native app: editor, code insight, debugger, Git, terminal, database and HTTP clients for 60+ languages.

Fast discrete logarithms modulo any integer, in Rust.

中文版 AI 姿势参考图库 · 1439 组 / 2878 张图片 / 完整汉化 · 零依赖静态画廊

Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉

Pure Rust port of CERN ROOT Minuit2 (MIGRAD, SIMPLEX, HESSE, MINOS) for parameter fitting and error analysis, checked against ROOT. Python bindings.

A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.

Trending open-source repository: ImperialCollegeLondon/NHS-TT-multiple-long-term-conditions-evaluation

Installer for D-Wave's Ocean tools