arc-agent

A Native Recompilation Of The Legend Of Zelda: Ocarina Of Time Nintendo Switch 2 Remake

Official web platform and interactive portal for CarboxMol Bioinformatics Club at Western Caspian University (WCU). Featuring 3D macromolecular studio and student portal.

Manifolds modeled on locally convex spaces (Michal–Bastiani calculus), in Lean 4 / Mathlib

Static recompilation of The Legend of Zelda: Tears of the Kingdom to native Windows and Linux x86-64, with a Vulkan renderer. Game files not included.

A miniaturized reimplementation of NCBI BLAST algorithm

Direct saved-weight edits of Qwen3.8-27B Abliterated: beginner-to-advanced guide, runnable example, numerical tools and honest experiment results.

Toolchain for olymmath. The om binary harvests the sources, merges duplicate problems, checks the corpus, grades solutions and builds the site at olymmath.tamnd.com.

Discourse plugin to enable polling emails usign Microsoft Graph API

Empirical quantum simulation experiments and robustness studies on Dense Evolution: Ising phase transitions, VQE, error mitigation, and a critical replication study of the traversable-wormhole

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

A full-stack web application leveraging AI and Graspable Math to deliver interactive math exercises.

Toolchain for Math 2.0. The m2 binary builds, checks and audits the math2 graph, ingests sources, runs Lean and serves the API and the research agents.

The home of the McStas (neutrons) and McXtrace (x-rays) Monte-Carlo ray-tracing instrument simulation codes.

The bioinformatics agent desktop for clinicians and wet-lab scientists — built on DeepSeek Harness. One-click installers, a skill store, offline mode.

High-performance protein I/O and physics bridging for JAX, with a Rust backend for structure parsing and force-field parameterization

Gene Curator is an open-source platform for managing and curating genetic data. It facilitates gene data analysis, entry, and reporting, serving genetics researchers with tools for efficient data handling.

Exact-arithmetic conditional certificate for distinguishing a homometric pair under Gaussian motion and photon counting.

形式化数学库导航与证明骨架生成器

Spiral Gallery: the logarithmic, Archimedean, Fermat and Fibonacci spirals drawn side by side on the same scale, with the nautilus, the ram's horn and the galaxy, each with its growth per turn and its angle to the radius.

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.