Popular repositories Loading

1. idris-vdom idris-vdom Public

   Virtual DOM in pure Idris

   Idris 6 2

2. idris-golang idris-golang Public

   Forked from andyarvanitis/idris-golang

   Haskell 1

3. iQuery iQuery Public

   Forked from idris-hackers/iQuery

   Idris Lib to interact with the DOM and Browser API for the JavaScript backend

   Idris 1

4. findunexp findunexp Public

   Finds embedded Go structs of unexported types, which will break JSON marshalling

   Go 1

5. idris_go_rts idris_go_rts Public

   Go

6. idris-generic idris-generic Public

   Forked from andyarvanitis/idris-generic

   Haskell