Popular repositories Loading

1. coq-zipper coq-zipper Public archive

   An attempt to verify the Zipper

   Coq 4 1

2. tichy-strings tichy-strings Public

   An implementation of the VCDIFF (RFC3284) encoder that uses Tichy's string-to-string correction algorithm

   C 1

3. Sorticoq Sorticoq Public archive

   A small collection of Coq-verified sorting algorithms over ordered types

   Coq

4. coq-chip8 coq-chip8 Public archive

   Coq

5. van-emde-boas-python van-emde-boas-python Public

   van Emde Boas tree in Python with random testing

   Python

6. symmetry-experiments symmetry-experiments Public

   Python