ozgurakgun
Academic @ St Andrews CS. Interested in Constraint Programming and a bunch of other things. Call me Oz if you cannot pronounce Özgür.
University of St AndrewsSt Andrews
Pinned Repositories
conjure
Conjure: The Automated Constraint Modelling Tool
EssenceCatalog
A collection of problem specifications in Essence.
csplib
A benchmark library for constraints
dlrep
Data Linkage Repository - http://dlrep.org
Idris-dev
A Dependently Typed Functional Programming Language
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.
knot-tree
Haskell tree implementations, with nodes having reference to parents.
minion-hs
Low level Haskell bindings to Minion
ozgurakgun's Repositories
ozgurakgun/bibtex-clean
Reads bibtex entries from stdin, and writes a "clean" version of all entries to stdout.
ozgurakgun/cabal-list-outdated
cabal-install doesn't have an option to generate a list of outdated packages. This simple tool does that.
ozgurakgun/minion-hs
Low level Haskell bindings to Minion
ozgurakgun/knot-tree
Haskell tree implementations, with nodes having reference to parents.
ozgurakgun/cabal
Official upstream development repository for Cabal and cabal-install
ozgurakgun/cmdargs
Haskell library for command line argument processing
ozgurakgun/conjure
Conjure: The Automated Constraint Modelling Tool
ozgurakgun/conjure-oxide
ozgurakgun/constraints
Tools for programming with ConstraintKinds in GHC
ozgurakgun/cp-demos
ozgurakgun/csplib
A benchmark library for constraints
ozgurakgun/dlrep
Data Linkage Repository
ozgurakgun/generic-deriving
ozgurakgun/Idris-dev
A Dependently Typed Functional Programming Language
ozgurakgun/minion
ozgurakgun/ModRef2017
A repository for the website of ModRef2017
ozgurakgun/notebooks
ozgurakgun/ozgurakgun.github.io
Özgür Akgün's Personal Website
ozgurakgun/parminion
ozgurakgun/runsolver
Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/
ozgurakgun/stacscheck
St Andrews Computer Science Checker
ozgurakgun/task-chop
ozgurakgun/tasty
Modern and extensible testing framework for Haskell