Pinned Repositories
ask2elle
Ask2Elle is an intelligent programming tutor for Haskell
derive
A Haskell program and library to derive instances for data types
docker
Personal Docker scripts
dotfiles
Configuration files for ZSH and Neovim
features
floskell
Floskell is a flexible Haskell source code pretty printer.
fp-course
A repo for the Functional Programming course at Chalmers and its dev container.
helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Javista
Bachelors thesis investigating the automated assessment of programming exercises
laboration-2
alexgerdes's Repositories
alexgerdes/ask2elle
Ask2Elle is an intelligent programming tutor for Haskell
alexgerdes/derive
A Haskell program and library to derive instances for data types
alexgerdes/docker
Personal Docker scripts
alexgerdes/dotfiles
Configuration files for ZSH and Neovim
alexgerdes/features
alexgerdes/floskell
Floskell is a flexible Haskell source code pretty printer.
alexgerdes/fp-course
A repo for the Functional Programming course at Chalmers and its dev container.
alexgerdes/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
alexgerdes/Javista
Bachelors thesis investigating the automated assessment of programming exercises
alexgerdes/laboration-2
alexgerdes/lvm
The LVM runtime and libraries for binding to Helium
alexgerdes/tda367_monopoly
Simple monopoly implementation for TDA367 Object-Oriented Programming Project course.
alexgerdes/Top
The Top constraint solving framework
alexgerdes/peeksort
Implementation of peeksort in Haskell