Popular repositories Loading

1. idris-monadic-parser idris-monadic-parser Public

   Idris 6

2. LambdaLudo LambdaLudo Public

   A simple game engine written in Haskell for educational purposes.

   Haskell 2

3. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

4. idris-vim idris-vim Public

   Forked from idris-hackers/idris-vim

   Idris mode for vim

   Vim Script

5. iQuery iQuery Public

   Forked from idris-hackers/iQuery

   Idris Lib to interact with the DOM and Browser API for the JavaScript backend

   Idris

6. sdl2 sdl2 Public

   Forked from haskell-game/sdl2

   Haskell bindings to the SDL2 library

   Haskell