Repository Index

55,640 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

uwplse / verdi-raft

Coq 204 19

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Coq 54 12

A framework for implementing and certifying impure computations in Coq

Coq 13 3

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]