Pinned Loading

1. DevWKB/holey-expression DevWKB/holey-expression Public

   This is a library that allows you to add placeholders we call "holes" to any monoid. Then these holes can be filled or plugged.

   Haskell

2. DevWKB/beekeeper DevWKB/beekeeper Public

   Project managent on the command line

   Haskell

3. granule-project/granule granule-project/granule Public

   A statically-typed linear functional language with graded modal types for fine-grained program reasoning

   Haskell 743 46

4. au-post-tenure-review-template au-post-tenure-review-template Public template

   The Augusta University Post-Tenure Review Markdown Template

   TeX 1 1