Rust implemented tensor computation library

A python library for quantum information and many-body calculations including tensor networks.

Render math expressions with Typst instead of MathJax in Obsidian.

Mathematica codes for computations related to the R-matrix parastatistics, defined in Nature 637, 314-318 (2025).

GLFW3 application

This is a collection of Metaheuristics Algorithms written in Julia

研究室のPCのセットアップ資料

A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant

collection of articles about PhD life written in 🇯🇵

A randomized algorithm for the compressed MPS MPO product

Parallel Library for Tensor Network Methods

A Julia package for calculating topological numbers

Julia package for numerics (ED and DMRG) on the fuzzy sphere

A 3D tensor network renormalizaion group scheme enhanced by entanglement filtering

Sample codes for the book " 数学ソフトウエアの作り方"

Linux running inside a PDF file via a RISC-V emulator

数学系のためのLean勉強会

A collection of tools for writing technical documents that mix Coq code and prose.

Document Generator for Lean 4

Program Specification in Lean 4

コード例で学ぶ Lean 言語

DMRGPy is a Python library to compute quasi-one-dimensional spin chains and fermionic systems using matrix product states with DMRG as implemented in ITensor. Most of the computations can be perfor…