Popular repositories Loading

1. qio-haskell qio-haskell Public

   The Quantum IO Monad, implemented in Haskell

   Haskell 101 18

2. qio-agda qio-agda Public

   The Quantum IO Monad, implemented in Agda

   5 1

3. MindWave MindWave Public

   Haskell code for connecting to a MindWave EEG

   Haskell 4 2

4. alex-android alex-android Public

   A repository of toy Android Apps I have been coding for fun

   Java 1

5. alex-haskell alex-haskell Public

   A repository containing various miscellaneous pieces of Haskell code I have been writing

   Haskell 1

6. alex-misc alex-misc Public

   A repository containing various miscellaneous pieces of code that I have been writing in various languages

   OCaml 1