The Wayback Machine - https://web.archive.org/web/20200904152952/https://github.com/liamoc
Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Learn you an Agda (and achieve enlightenment)

    Agda 303 34

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

    Haskell 50 8

  3. A wiki based on firm theoretical foundations

    Haskell 48 2

  4. Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

    Haskell 45 4

  5. High level, generic library for interrogative user interfaces in Haskell

    Haskell 35 4

  6. An intensely interactive, graphical theorem prover based on natural deduction

    Haskell 20

249 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

September 2020

21 contributions in private repositories Sep 1 – Sep 2
You can’t perform that action at this time.