FabrizioRomanoGenovese

FabrizioRomanoGenovese's Stars

• typedefs/typedefs

  Programming language agnostic type construction language based on polynomials.

  Language:Idris3671515018

• statebox/idris-ct

  formally verified category theory library

  Language:Idris259204423

• The-QSig-Commission/QSigCommissionWiki

  A repository of papers/resources around Quantum 1-Shot Signatures.

  6100