A differential eDSL that can run faster than light and go back to the past.

Auto differentiation over linear algebras (a Zygote extension)

Projected entangled pair of states (PEPS), the quantum version

Graph data structure for fast elimination

A minimum Luxor backended graph visualization package.

Treeverse algorithm for optimal checkpointing

Core package for time reversible language NiLang.jl

Network visualization, tensor network, lattice et. al.

Generate asciinema `.cast` file from a Julia script

Reduction between computational hard problems.