Discover projects, groups and snippets. Share your projects with others
Starter repository for theses
Softwaretechnik-Repository Sommersemester 2020
Master's thesis about free monads
Code for implementation of Streaming Algortihm for bin packing by Cormode and Vesely. https://arxiv.org/abs/1905.04897
Files of group sessions
A compiler for the monadic translation from Haskell to Coq using the free monad.