Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.gitignore
whaasdawedqw
November 18, 2021 11:20
AlterningBitsOracle.idr
remove (@@) and replace with (.)
November 17, 2021 18:53
CoinToss.idr
prettier coin tossing
November 19, 2021 17:53
Complex.idr
add Idris2 package for Qimaera
August 28, 2021 14:36
ExampleDetectableErrors.idr
better names for inadmissible program examples
November 20, 2021 11:29
Examples.idr
QuantumState to QuantumOp
November 19, 2021 12:01
Graph.idr
EPIC commit
October 22, 2021 16:54
Grover.idr
QuantumState to QuantumOp
November 19, 2021 12:01
Injection.idr
add all Idris files from previous repository
August 17, 2021 19:49
LICENSE
Revert "(temporarily) anonymise source"
November 21, 2021 18:15
Lemmas.idr
a bit more documentation on VQE
November 17, 2021 19:18
LinearTypes.idr
a bit more documentation on VQE
November 17, 2021 19:18
Main.idr
nicer teleportation example
March 1, 2022 16:12
Matrix.idr
move some matrix stuff into Matrix.idr
August 24, 2021 17:32
OptimiseUnitary.idr
add module OptimizeUnitary
August 24, 2021 22:23
QAOA.idr
QuantumState to QuantumOp
November 19, 2021 12:01
QFT.idr
fix bug in QFT
January 29, 2023 22:49
QStateT.idr
typo
November 18, 2021 23:23
QuantumOp.idr
QuantumState to QuantumOp
November 19, 2021 12:01
README.md
update README
February 5, 2023 22:49
RUS.idr
add reference in RUS.idr
February 5, 2023 23:11
RandomUtilities.idr
EPIC commit
October 22, 2021 16:54
Teleportation.idr
nicer teleportation example
March 1, 2022 16:12
Unitary.idr
compose to .
November 18, 2021 15:48
VQE.idr
QuantumState to QuantumOp
November 19, 2021 12:01
makefile
Updated project to make use of Idris 2, version 0.6.0
December 31, 2022 19:02
qimaera.ipkg
Updated project to make use of Idris 2, version 0.6.0
December 31, 2022 19:02
run
whaasdawedqw
November 18, 2021 11:20
todo.txt
update TODO file
November 21, 2021 18:17