Popular repositories Loading

1. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

2. xml-lens xml-lens Public

   Forked from fumieval/xml-lens

   Lenses and traversals for xml-conduit

   Haskell

3. atom-language-idris atom-language-idris Public

   Forked from idris-hackers/atom-language-idris

   A Idris Mode for Atom.io

   CoffeeScript

4. TiSensorTag TiSensorTag Public

   TI

   C

5. SensorTag1 SensorTag1 Public

   C

6. Welcome Welcome Public

   Forked from RChain-Collaborative-Learning/Welcome

   Overview of RChain-Collaborative-Learning and how to get involved