Giters
idris-lang

idris-lang

Geek Repo

Github PK Tool:Github PK Tool

idris-lang's repositories

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3406Issues:120Issues:2336

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2426Issues:64Issues:1158

idris-tutorial

A tutorial to the Idris Programming Language.

Language:TeXStargazers:95Issues:22Issues:22

idris-emptycg

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

Language:HaskellLicense:NOASSERTIONStargazers:51Issues:9Issues:1

idris-lang.github.io

The Idris website

Language:CSSLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0