Pinned Loading

1. idris-bayes/melocule idris-bayes/melocule Public

   Probabilistic music composition in Idris2

   Idris 15

2. yellowtides/owenbot-hs yellowtides/owenbot-hs Public

   A utility bot written in Haskell for the Edinburgh Informatics Class of ‘24’s main messaging platform (Discord server).

   Haskell 8 7

3. idris-bayes/monad-bayes idris-bayes/monad-bayes Public

   A translation of the probabilistic language MonadBayes from Haskell to Idris2.

   Idris 1 2

4. idris-modules idris-modules Public

   An implementation of an ML-style module system for Idris 2

   Idris

5. compsoc-edinburgh/typesig-website compsoc-edinburgh/typesig-website Public

   Website for TypeSig

   2