Complex Quantum Systems Research Group

Popular repositories Loading

1. PhysLean PhysLean Public

   Forked from leanprover-community/physlib

   A project to digitalise results from physics into Lean.

   Lean 1

2. TNCodebase TNCodebase Public

   Development of a numerical simulation package.

   Julia 2

3. LossPhotonicEntanglement LossPhotonicEntanglement Public

   Python

4. workshop2026 workshop2026 Public

   Repo for the 2026 workshop

   HTML

5. PhysicsCopliotAI PhysicsCopliotAI Public

   Forked from Complex-Quantum-Systems-Research-Group/TNCodebase

   Physics Chatbot that handles quantum simulations

   Julia