Pinned Loading

1. necrophagy necrophagy Public

   A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.

   Haskell 26

2. critical critical Public

   A resource management monad that prevents usage of dead resources while allowing for fine-tuned reallocation semantics.

   Haskell

3. surtur surtur Public

   High-level, well-typed Vulkan utilizing validation types and resource stack monads to infer boilerplate wherever possible (proof of concept).

   Haskell 3

4. rockstar rockstar Public

   A modern blog theme written in pure Haskell using the Rib static site generator.

   Haskell

5. tst tst Public

   Solutions for TST's take-home exercise.

   Scala

6. gtt-ticketing-problem gtt-ticketing-problem Public

   Solution for Game Time Technology's ticketing problem (take-home).

   Haskell