Pinned Repositories
blog
hacspec blog
corn
Coq Repository at Nijmegen
cubicaltt
Divided-Difference
Paper and formalization on divided differences
draft-analysis-challenges
draft-irtf-cfrg-bls-signature
draft-irtf-cfrg-hash-to-curve
Hashing to Elliptic Curves
HoTT
Homotopy type theory
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
spitters's Repositories
spitters/Divided-Difference
Paper and formalization on divided differences
spitters/HoTT
Homotopy type theory
spitters/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
spitters/blog
hacspec blog
spitters/corn
Coq Repository at Nijmegen
spitters/cubicaltt
spitters/draft-analysis-challenges
spitters/draft-irtf-cfrg-bls-signature
spitters/draft-irtf-cfrg-hash-to-curve
Hashing to Elliptic Curves
spitters/hacspec
A specification language for cryptography primitives.
spitters/math-classes
A library of abstract interfaces for mathematical structures in Coq.
spitters/hacspec.github.io
website for hax & hacspec
spitters/MPCEC
Code corresponding to: Computer-aided proofs for multiparty computation with active security
spitters/QuadraticFieldExtensions
Quadratic Extensions of Prime order Fields - Formalization in Coq
spitters/toychain
A minimalistic blockchain consensus implemented and verified in Coq
spitters/Valuations
Synthetic Topology in Homotopy Type Theory for probabilstic programming
spitters/wg