Popular repositories Loading

1. idris-blink idris-blink Public

   A simple Idris program to blink the LED on an Arduino

   Makefile 58 3

2. plugins plugins Public

   Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.

   Haskell 53 16

3. hyperdrive hyperdrive Public

   A fast, low-level HTTP server you can trust

   Haskell 47 4

4. idrOS idrOS Public

   An OS written in Idris (eventually...)

   C 19 4

5. ase2css ase2css Public

   Library and command-line app for parsing Adobe Swatch Exchange files and (optionally) creating a .css file with the values

   Haskell 14

6. minecraft-data minecraft-data Public

   library for creating minecraft levels and commands

   Haskell 13 2