Pinned Loading

1. aeson-deriving aeson-deriving Public

   Data types for compositional, type-directed serialization

   Haskell 13 5

2. quantum-random quantum-random Public

   Retrieve, store and manage real quantum random numbers from Australian National University

   Haskell 6 1

3. destroid destroid Public

   A space shooter based on the classic Asteroids

   Elm 35 2

4. probability probability Public

   Probabilistic computation in Idris

   Idris 34 4

5. xquant xquant Public

   Dependently-typed structures for quantum physics in Idris

   Idris 13

6. microsoft-translator microsoft-translator Public

   Bindings to the Microsoft Translator API

   Haskell 1