PinnedLoading

1. necrophagynecrophagyPublic

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

   Haskell 25

2. criticalcriticalPublic

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

   Haskell

3. surtursurturPublic

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

   Haskell 3

4. rockstarrockstarPublic

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

   Haskell

5. tsttstPublic

   Solutions for TST's take-home exercise.

   Scala

6. gtt-ticketing-problemgtt-ticketing-problemPublic

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

   Haskell