Popular repositories Loading

1. mpl mpl Public archive

   A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo

   Lean 37 3

2. Simple .Net hooking library

   C# 31 4

3. Extracting WoW's geometry data reliably

   C# 24 9

4. CrystalMpq is a MPQ reading library written in C#

   HTML 18 10

5. This repository moved to https://github.com/elm-community/graph

   Elm 16 20

6. Fixing data-flow problems in expression trees

   HTML 9 1