Popular repositories Loading

1. Rho Rho Public

   Generalized Abstract Data Type for Rho-Calculus

   Scala 1

2. rchain rchain Public

   Forked from rchain/rchain

   Scala 1

3. enriched-lawvere-theories-as-operational-semantics enriched-lawvere-theories-as-operational-semantics Public

   Forked from cbw124/lawvere

   enriched lawvere theories represent operational semantics (baez, williams)

   TeX

4. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

5. Presentations Presentations Public

   Slide sets for the presentations I've given.

6. qiskit-aqua qiskit-aqua Public

   Forked from qiskit-community/qiskit-aqua

   Quantum Algorithms & Applications in Python

   Python