nova-coder

Candidate flanking-SNP marker panels for PGT-M linkage before an experiment. After one, parent of origin from SNP arrays, and a parental genotype reconstructed from haploid cells. Research use only.

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Speech Processing Toolbox for MATLAB

AXIOM — Mathematical Reasoning Engine: One MCP for mathematical computation, exploration, and independent verification.

Formalization of the existence of sphere eversions

Companion Lean 4 listings for Lean Programming for AI Agents (Award Winning Creations, 2026).

An analysis and visualization platform for 'omics data

An open-source Python framework for hybrid quantum-classical machine learning.

艺术动画skill：35种艺术风格、9种解说语法，用代码让画动起来。

Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L

provides common tools and lookup tables used primarily by the hgvs and uta packages

Verified semantics of GPU matrix multipliers in Lean: NVIDIA Tensor Core and AMD matrix core models, TC-EFT, Ozaki emulation with correct rounding, and the algebra of reduction schedules.

Qiskit connector is quantum computing SDK extension which is a helper for Qiskit runtime service that streamlines authentication, plan detection, and backend selection for quantum computing algorithms. using Qiskit connector intelligence Core.

BioBTree v2: An MCP-enabled biomedical graph database unifying 70+ datasets.

Fifth Card Flip 2026: Best Open Source Poker Chip Allocator for Card Game Strategy

A growing collection of viral videos made with Claude Opus 5.5 and the prompts behind them. Watch each original next to a live remake on Skillry. Updated regularly.

Papers and notes, each with the code that checks it

An open-source, clean-room reimplementation of Adobe Illustrator, built in pure Rust.

C++L is C++ with Laws: an ambiguity-free, proof-carrying superset C++ based language in which humans or AIs can specify intent as machine-checkable Laws, implementations are accepted only when those Laws are proven, and all proof machinery erases to ordinary optimized C++ compiled by Clang/LLVM.

PyPI-ready 2D and 3D reflexive-polytope databases for SageMath