Discover projects, groups and snippets. Share your projects with others
A compiler for the monadic translation from Haskell to Coq using the free monad.
Code for implementation of Streaming Algortihm for bin packing by Cormode and Vesely. https://arxiv.org/abs/1905.04897
The Kiel Computer Science Series source files. Clone this repository to stay up to date with the KCSS LaTeX style.
Projekt containing a bachelor thesis about haskell-to-haskell translation, desugaring of pattern matching, guards and if-then-else statements.