Popular repositories Loading

1. control control Public

   Forked from unruly/control

   A collection of functional control-flow primitives and utilities.

   Java 11 4

2. idris-dimensions idris-dimensions Public

   Dimensions library in Idris

   Idris 9 1

3. StructuralSemanticHighlighter StructuralSemanticHighlighter Public

   Java 4

4. redux-game redux-game Public

   Basic library for building Haskell games

   Haskell 3

5. spacontrolworkshop spacontrolworkshop Public

   Workshop using Control library for BCS SPA Conference 2018

   Java 2

6. ml-unittest ml-unittest Public

   A tiny little unit test framework to make life easier in ML

   Standard ML 1