Pinned Loading

1. precursor-ts precursor-ts Public

   A call-by-push-value language and interpreter you can embed in typescript / js apps.

   TypeScript 5

2. surely surely Public

   An Haskell library to solve SAT problems, Maybe

   Haskell 6

3. tubes tubes Public

   Stream processing with a series of tubes.

   Haskell 14 1

4. Alm Alm Public

   Alm is a browser application library encouraging a functional, declarative programming style.

   TypeScript 2 1

5. SAT Solver in Haskell SAT Solver in Haskell

   1

   -- This is going to be on Hackage soon! https://github.com/gatlin/surely

   2

   3

   {-# LANGUAGE BangPatterns #-}

   4

   5

   -- |

6. gitwit gitwit Public

   A slideshow for how to use git

   Makefile