Popular repositories Loading

1. pattern-rewriting-language pattern-rewriting-language Public

   C++ 2

2. proto-quipper-r proto-quipper-r Public

   An implementation of Refinement Typed Proto-Quipper (Proto-Quipper-R)

   Haskell 2

3. quantum-resource-analysis quantum-resource-analysis Public

   Exploration of type-level resource analysis of quantum programs in Idris

   Idris

4. Opinions_and_conflict_in_social_networks Opinions_and_conflict_in_social_networks Public

   Code for the Opinions and conflict in social networks exam, part of BISS 2022

   Python

5. pqr-syntax-highlighting pqr-syntax-highlighting Public

6. qura qura Public

   QuRA is a static analysis tool for the verification of the resource consumption of quantum programs.

   Haskell