Karl Palmskog's repositories
coind-sem-while
Coinductive trace-based semantics for the While language in Coq
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
algorand-verification
Formal verification of the Algorand consensus protocol
coinduction
coinduction library for Coq
Coq-Equations
A function definition package for Coq
coq-haskell
A library for formalizing Haskell types and functions in Coq
dedekind-reals
A formalization of the Dedekind reals in Coq
giskard-verification
Verified model of the Giskard consensus protocol in Coq
math-comp.github.io
https://math-comp.github.io/
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
sawtooth-giskard
An implementation of the Giskard consensus protocol for distributed transactions and computations.
trustfull-demonstrator
Code for the demonstrator of the Trustfull project based on the e-voting system verificatum
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]