Popular repositories Loading

1. qtility qtility Public

   Agda experiment to define Probability, Preference, Gambles, Superpositions, Utility, and "Qtility"

   Agda 7 1

2. jigglefab jigglefab Public

   organic visualizable universal constructor via artificial chemistry

   Haskell 5

3. scont scont Public

   SimplCont Scott Encoding

   Haskell 4

4. ply ply Public

   SQL queries over CSV files

   Haskell 3

5. kaizosplits kaizosplits Public

   SMW Autosplitter for LiveSplit

   C# 2

6. gab gab Public

   Open-ended chatting experiments

   Python 1