Pinned Loading

1. SimplexEmbeddingGPT SimplexEmbeddingGPT Public

   A Python implementation of the algorithm introduced in arXiv:2204.11905 [quant-ph] to find a simplex embedding for a (possibly depolarised) generalised probabilistic theory (GPT) fragment.

   Python 1

2. HigherOrderCO/HVM3 HigherOrderCO/HVM3 Public

   HVM3

   Haskell 276 25

3. TypeChecker TypeChecker Public

   A simple type checker in Haskell for the simply typed lambda calculus.

   Haskell 5

4. TermEnumerator TermEnumerator Public

   A simple enumerator in Haskell of all terms for the untyped lambda calculus

   Haskell

5. tocha tocha Public

   A toy deep learning library based on numpy with autograd and torch-like API, with correctness tested against torch.

   Python

6. WitnessInformation WitnessInformation Public

   Monte Carlo simulation used in arXiv:2308.07744 [quant-ph], Information theoretical perspective on the method of Entanglement Witnesses.

   Python 1