[proxy] web.archive.org← back | site home | direct (HTTPS) ↗ | proxy home | ◑ dark◐ light

liamoc - Overview

Pinned

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

    Haskell 54 8

  2. A graphical interactive proof assistant designed for education

    Haskell 40 2

  3. a collection of desktop games written in rust

    Rust 17 2

  4. Micro Entertainment Pack games for 6502 systems

    Assembly 1 1

  5. Cogent Project

    Isabelle 144 26

  6. A new specification language for Quickstrom

    Haskell 1

182 contributions in the last year

Less

More