Stars
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Agent skills for the HKUST-GZ HPC clusters (Slurm / Phase 2) — works in Claude Code and Codex
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
SciGym Skill: Benchmark · Simulator · AutoRun for scientific research workflows
Auto-updated registry of SciGym environments. Discovers repos with topic:scigym-research-env.
A Decoupled Architecture for Autonomous High-Energy Physics Phenomenology
Agent skills that guide AI agents to write Typst code
A parallel Monte Carlo simulation framework for chromatin 3D structure reconstruction and parameter optimization using Julia. Mediatosr
Hamiltonian symbolic preprocessor for mVMC (Rust)
A Rust prototype for fermionic normal ordering and CAS-aware symbolic contraction on CASCI/CASSCF references.
An agentic skills framework & software development methodology that works.
Rust port of tensor4all tensor network ecosystem with C-API
Extensible, Efficient Quantum Algorithm Design for Humans.
A julia package for finite MPS/MPO-based computations of ground-state, finite-temperature and dynamical properties.
A symbolic algebra system for tensorial and noncommutative algebras
Rust implementation of intermediate representation (IR) for imaginary-time propagators
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Flexible Quantum Circuit Simulator (qFlex) implements an efficient tensor network, CPU-based simulator of large quantum circuits.