Özgür Akgün's Projects
Reads bibtex entries from stdin, and writes a "clean" version of all entries to stdout.
Official upstream development repository for Cabal and cabal-install
cabal-install doesn't have an option to generate a list of outdated packages. This simple tool does that.
Haskell library for command line argument processing
Conjure: The Automated Constraint Modelling Tool
Tools for programming with ConstraintKinds in GHC
A benchmark library for constraints
Data Linkage Repository
A Dependently Typed Functional Programming Language
Haskell tree implementations, with nodes having reference to parents.
Low level Haskell bindings to Minion
A repository for the website of ModRef2017
Özgür Akgün's Personal Website
Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/
St Andrews Computer Science Checker
Modern and extensible testing framework for Haskell