Alex Gerdes's repositories
docker
Personal Docker scripts
Language:Shell000
dotfiles
Configuration files for ZSH and Neovim
Language:Shell000
Language:ShellMIT000
floskell
Floskell is a flexible Haskell source code pretty printer.
Language:HaskellBSD-3-Clause000
fp-course
A repo for the Functional Programming course at Chalmers and its dev container.
Language:Dockerfile000
Javista
Bachelors thesis investigating the automated assessment of programming exercises
Language:HaskellGPL-2.0000
Language:Java000
tda367_monopoly
Simple monopoly implementation for TDA367 Object-Oriented Programming Project course.
Top
The Top constraint solving framework
Language:HaskellGPL-3.0000