Pinned Loading

1. music music Public

   original compositions

   LilyPond 4 1

2. CakeML/cakeml CakeML/cakeml Public

   CakeML: A Verified Implementation of ML

   Standard ML 1.1k 90

3. bluff bluff Public

   online games

   JavaScript 2 1

4. verifereum/verifereum verifereum/verifereum Public

   Prove functional correctness of Ethereum smart contracts in higher-order logic

   Standard ML 28 9

5. verifereum/vyper-hol verifereum/vyper-hol Public

   Formal specification and verification of Vyper

   Standard ML 11

6. rocketlend/frontend rocketlend/frontend Public

   TypeScript