Popular repositories Loading

1. pwa pwa Public

   Repository for the McGill Physics Hackathon 2019.

   Python 1

2. ainfinity-lean ainfinity-lean Public

   Forked from jasper-kreeke/ainfinity-lean

   Repository for the URAP formalization project in Spring 2026 at UC Berkeley.

   Lean 1

3. qutip qutip Public

   Forked from qutip/qutip

   QuTiP: Quantum Toolbox in Python

   Python

4. symplectic-hnn symplectic-hnn Public

   Forked from SpaceAbleOrg/symplectic-hnn

   The training and evaluation code, synthetic datasets and pre-trained models accompanying the paper "Symplectic Learning for Hamiltonian Neural Networks" by M. David and F. Méhats.

   Python

5. nonlocal-qft nonlocal-qft Public

   Mathematica

6. 2ControlVerification 2ControlVerification Public

   Forked from mizlan/2ControlVerification

   A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".

   Rocq Prover