Beast code in Giters

Bas Spitters's repositories

Paper and formalization on divided differences

Homotopy type theory

Language:CoqNOASSERTION1 20

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLGPL-2.11 20

hacspec blog

Language:HTML000

Coq Repository at Nijmegen

Language:CoqGPL-2.0020

Language:HaskellMIT020

Language:MakefileNOASSERTION000

Language:Python010

Hashing to Elliptic Curves

Language:PythonNOASSERTION010

A specification language for cryptography primitives.

Language:RustMIT000

A library of abstract interfaces for mathematical structures in Coq.

Language:CoqNOASSERTION020

website for hax & hacspec

000

Code corresponding to: Computer-aided proofs for multiparty computation with active security

Language:eCMIT020

Quadratic Extensions of Prime order Fields - Formalization in Coq

Language:Coq010

A minimalistic blockchain consensus implemented and verified in Coq

Language:CoqBSD-2-Clause020

Synthetic Topology in Homotopy Type Theory for probabilstic programming

Language:CoqNOASSERTION010

010