Pinned Loading

1. A library for patches (diffs) on vectors: composable, mergeable and invertible

   Haskell 57 8

2. A graphical interactive proof assistant designed for education

   Haskell 170 7

3. a collection of desktop games written in rust

   Rust 22 5

4. Micro Entertainment Pack games for 6502 systems

   Assembly 4 1

5. Cogent Project

   Isabelle 173 26

6. A new specification language for Quickstrom

   Haskell 7 1