Popular repositories Loading

1. buggymcbugfix buggymcbugfix Public

   1

2. camfort camfort Public

   Forked from camfort/camfort

   Light-weight verification and transformation tools for Fortran. See http://camfort.github.io

   Haskell

3. tldr tldr Public

   Forked from tldr-pages/tldr

   📚 Simplified and community-driven man pages

   TeX

4. lamdu.github.io lamdu.github.io Public

   Forked from lamdu/lamdu.github.io

   Github pages site lamdu.github.io

   HTML

5. advent_of_code_2016 advent_of_code_2016 Public

   Forked from harry-clarke/advent_of_code_2016

   Solutions to the Advent of Code challenge in 2016 (See: http://adventofcode.com/2016)

   Haskell

6. co519-logic co519-logic Public

   Forked from dorchard/co519-logic

   Some accompanying lectures notes for CO519 - Logic at the School of Computing, University of Kent.

   TeX