Pinned Repositories
cubical-sqrt
experimental
pi-dual
Collaborative work on reversible computing
Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
SqrtPi
Agda code accompanying the SqrtPi paper
agda-stdlib
The Agda standard library
CCCExample
CHAM
effects
reversible-concurrency
2DTypes
Collaborative work on reversible computing
sabry's Repositories
sabry/effects
sabry/reversible-concurrency
sabry/agda-stdlib
The Agda standard library
sabry/CCCExample
sabry/CHAM