Popular repositories Loading

1. nixos-tutorial nixos-tutorial Public

   one hour, hands-on

   Nix 143 6

2. nixform nixform Public

   define terraform infrastructure in nix

   Nix 32 1

3. responsible responsible Public

   Idris 2 HTTP Api Server

   Idris 16 1

4. legato legato Public archive

   OSC, MIDI, and more

   CoffeeScript 14 2

5. idris-libuv-example idris-libuv-example Public

   code example for using Idris with a libuv-based async C runtime

   Idris 10

6. fuc fuc Public

   Functional Utilities for Coffeescript and Javascript

   CoffeeScript 7