Popular repositories Loading

1. idris2-backend-example idris2-backend-example Public

   Nix 1

2. haskanoid haskanoid Public

   Forked from ivanperez-keera/haskanoid

   A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.

   Haskell

3. hoedown hoedown Public

   Forked from hoedown/hoedown

   Standards compliant, fast, secure markdown processing library in C

   C

4. corrode corrode Public

   Forked from jameysharp/corrode

   C to Rust translator

   Haskell

5. docker-hs docker-hs Public

   Forked from denibertovic/docker-hs

   A Haskell library for the Docker Engine API

   Haskell

6. pandoc pandoc Public

   Forked from jgm/pandoc

   Universal markup converter

   Haskell