Popular repositories Loading

1. idris-se idris-se Public

   Forked from edwinb/idris-php

   Idris to Serpent back end for Ethereum smart contracts

   Haskell 32 3

2. examples examples Public

   Code samples inspiring language design

   Idris 24 2

3. docs docs Public

   Project jornal, reading list etc

   1

4. reveal.js reveal.js Public

   Forked from hakimel/reveal.js

   The HTML Presentation Framework

   JavaScript

5. vindaloo-thesis.github.io vindaloo-thesis.github.io Public

   JavaScript