Popular repositories Loading

1. nixos-tutorial nixos-tutorial Public

   one hour, hands-on

   Nix 140 6

2. nixform nixform Public

   define terraform infrastructure in nix

   Nix 26 2

3. responsible responsible Public

   Idris 2 HTTP Api Server

   Idris 15 1

4. legato legato Public

   OSC, MIDI, and more

   CoffeeScript 13 2

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

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

   Idris 8

6. fuc fuc Public

   Functional Utilities for Coffeescript and Javascript

   CoffeeScript 6