Popular repositories Loading

1. Simple-Mathematical-Parser-in-Haskell Simple-Mathematical-Parser-in-Haskell Public

   This is a simple mathematical parser written in Haskell. Please consult Regex.txt for RegEx specs.

   Haskell

2. Enigma Enigma Public

   Enigma Machine developed according to task set out by Imperial College London.

   C++

3. MSc-Project-2022-Quantum-Theorem-Proving MSc-Project-2022-Quantum-Theorem-Proving Public

   Implementation and proofs related to the 2 qubit Grover's algorithm, and a general implementation of Grover's algorithm in QWire.

   Coq

4. IdrisLinearityIssue IdrisLinearityIssue Public

   Idris