#
idris
Here are 249 public repositories matching this topic...
-
Updated
Sep 7, 2016 - Idris
A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)
-
Updated
Oct 27, 2016 - Idris
dependently typed Statebox (heavy WIP)
-
Updated
Nov 2, 2016 - Idris
Idris backend targeting Elixir (Work in progress)
-
Updated
Jan 26, 2017 - Haskell
A Dependently Typed Functional Programming Language
-
Updated
Feb 5, 2017 - Haskell
A Dependently Typed Functional Programming Language
-
Updated
Feb 13, 2017 - Haskell
Improve this page
Add a description, image, and links to the idris topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the idris topic, visit your repo's landing page and select "manage topics."