ozgurakgun

bibtex-clean

Reads bibtex entries from stdin, and writes a "clean" version of all entries to stdout.

cabal-list-outdated

cabal-install doesn't have an option to generate a list of outdated packages. This simple tool does that.

minion-hs

Low level Haskell bindings to Minion

knot-tree

Haskell tree implementations, with nodes having reference to parents.

cabal

Official upstream development repository for Cabal and cabal-install

cmdargs

Haskell library for command line argument processing

conjure

Conjure: The Automated Constraint Modelling Tool

conjure-oxide

constraints

Tools for programming with ConstraintKinds in GHC

cp-demos

csplib

A benchmark library for constraints

dlrep

Data Linkage Repository

generic-deriving

Idris-dev

A Dependently Typed Functional Programming Language

minion

ModRef2017

A repository for the website of ModRef2017

notebooks

ozgurakgun.github.io

Özgür Akgün's Personal Website

parminion

runsolver

Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/

stacscheck

St Andrews Computer Science Checker

task-chop

tasty

Modern and extensible testing framework for Haskell