Liam O'Connor liamoc

Achievements

Achievements

Highlights

• Pro

Pinned Loading

1. patches-vector patches-vector Public

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

   Haskell 57 8

2. holbert holbert Public

   A graphical interactive proof assistant designed for education

   Haskell 172 7

3. desktop_games desktop_games Public

   a collection of desktop games written in rust

   Rust 24 4

4. 6502_mep 6502_mep Public

   Micro Entertainment Pack games for 6502 systems

   Assembly 4 1

5. au-ts/cogent au-ts/cogent Public

   Cogent Project

   Isabelle 179 28

6. quickstrom/specstrom quickstrom/specstrom Public

   A new specification language for Quickstrom

   Haskell 7 1