Pinned Loading

1. rapid rapid Public

   Rapid prototyping with GHCi

   Haskell 55 5

2. wires wires Public

   FRP library

   Haskell 39 8

3. progress-meter progress-meter Public

   Live diagnostics for concurrent activity

   Haskell 11 3

4. netwire netwire Public

   FRP library

   Haskell 59 6

5. agda-simple agda-simple Public

   My own base library + algebra research

   Agda 2 1

6. predictive predictive Public

   Predict the future, backtrack on failure

   Haskell 6 1