Pinned
-
A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell
54
8
-
A graphical interactive proof assistant designed for education
Haskell
40
2
-
a collection of desktop games written in rust
Rust
17
2
-
Micro Entertainment Pack games for 6502 systems
Assembly
1
1
-
Cogent Project
Isabelle
143
26
-
A new specification language for Quickstrom
Haskell
1
182
contributions
in the last year