Popular repositories Loading

1. Idris-Repl Idris-Repl Public

   A self hosted Repl for Idris (Still *very* early stages)

   Idris 2

2. changelingthepodcast changelingthepodcast Public archive

   SCSS 2

3. Dai Dai Public

   An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development

   Idris 1

4. test test Public archive

   Going through the work in Programming Elixir 1.3

   Elixir

5. idris-haskelltarget-bootstrap idris-haskelltarget-bootstrap Public

   Forked from idris-lang/idris-emptycg

   An empty code generator, to be used as a starting point for any new back ends.

   Haskell

6. do_the_thing do_the_thing Public

   A custom front end for Android Reminders

   Dart