athas/cabal
Official upstream development repository for Cabal and cabal-install
Developer Profile
athas
Discovered public repositories for athas in the GitHub catalog.
athas/structured-haskell-mode
Structured editing minor mode for Haskell in Emacs
athas/thesis
My graduate thesis, the conclusion of my studies!
athas/icfp2013
Type Witness Protection Program.
athas/DIKUrevyMeets
Public repository.
athas/ghc-mod
Happy Haskell programming on Emacs/Vim
athas/x11-xim_haskell
haskell library to use xim
athas/architecture-course-project
Truckin' it
athas/webanalyzer
Website text readability analyzer implemented in SML
athas/galapagos
Answer to the OOPD exam task from 2006 at DIKU
athas/MemberListList
Lists members of a Mailman list
athas/icfp2012
"Solution" to the ICFP 2012 contest by people from DIKU. Seems we're not too good at heuristics.
athas/monad-par-edi
EDI backend for monad-par
athas/topics-report
Report for the course Topics in Programming Languages
athas/monad-par
Public repository.
athas/RevyTeX
LaTeX environment and scripts for the science revues at Copenhagen university
athas/X11
A Haskell binding to the X11 graphics library.
athas/parco
General parser combinators for Haskell
athas/twss.hs
twss.js to Haskell
athas/X11-altxft
Robust Haskell bindings to the Xft library
athas/permute
Generalised permutation parsing for Haskell
athas/Grani
Yet another Webkit-based browser
athas/mimir
An extensible IRC bot written in shell script
athas/reversible-paper
Workshop paper for the Topics in Programming Languages course at DIKU
athas/X11-rm
A Haskell interface to the resource management facilities in Xlib
athas/Sindre
An Awk-inspired programming language for writing simple GUIs
athas/statml
Public repository.
athas/spt-gro
Tredjepartsimplementering af GRO-filformatet
athas/insitu
Tool enabling shell commands to modify files in-place
athas/getflag
Plan 9/AT&T Unix/Suckless command flag parsing library for Haskell
athas/advalgo
Very boring
athas/EggsML
A fully fledged and highly scalable lunch management system for the modern enterprise
athas/config
A repository containing all my configuration files
athas/gsmenu
A visual generic menu program.
athas/sysdesign
You really do not care.
athas/twelfppr
A tool for prettyprinting Twelf code