Pinned Repositories
afp-assignments
afp-assignments
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-build
agda-contracts
drunken-ants
Our little (drunken) ants.
pinch-gen
tasty-silver
A fancy test runner for tasty and support for golden tests.
phile314's Repositories
phile314/afp-assignments
afp-assignments
phile314/drunken-ants
Our little (drunken) ants.
phile314/agda-contracts
phile314/agda-stdlib
The Agda standard library
phile314/cabal2nix
Generate Nix build instructions from a Cabal file
phile314/chunky
phile314/exp1
Agda UHC Backend
phile314/libPi
phile314/mcco-projects
phile314/mdm-assig1
phile314/mdm-assig2
phile314/mmscomputing
Sources of uk.co.mmscomputing
phile314/process
Library for dealing with system processes
phile314/shuffle
Shuffle tool used by UHC (Utrecht Haskell Compiler)
phile314/tasty
Modern and extensible testing framework for Haskell
phile314/tasty-golden
OUTDATED FORK - see tasty-silver instead
phile314/TPT-2014
Theory of Programming and Types, academic year 2014-2015
phile314/tpt-project
Project for the "Theory of programming and types" course
phile314/uhc
phile314/uhc-util
Utilities required by UHC (Utrecht Haskell Compiler)
phile314/uulib
The UUlib libraries