Pinned Loading

1. Dafny Resource Usage Measurement

   Python

2. An EVM interpreter in Dafny

   Dafny 138 8

3. Forked from Consensys/codewitness

   Code Merklization and other approaches to reducing the code contribution to witness size

   Java

4. Announce new chat messages during a Zoom call.

   JavaScript 1 1

5. Threads implemented on userland with C/POSIX - no assembler

   C 6