Pinned

1. pnp

   Lecture notes for a short course on proving/programming in Coq via SSReflect.

   Coq 98 14

2. Zilliqa/scilla

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 153 50

3. certichain/toychain

   A minimalistic blockchain consensus implemented and verified in Coq

   Coq 87 10

4. TyGuS/suslik

   Synthesis of Heap-Manipulating Programs from Separation Logic

   Scala 41 7