Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / idris-lang 5 repositories

A purely functional programming language with first class types

Language: Idris - Size: 91.6 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 2,426 - Forks: 365

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 36.5 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 3,410 - Forks: 643

A tutorial to the Idris Programming Language.

Language: TeX - Size: 739 KB - Last synced: 2 months ago - Pushed: over 8 years ago - Stars: 95 - Forks: 27

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

Language: Haskell - Size: 141 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 51 - Forks: 21

The Idris website

Language: CSS - Size: 9.14 MB - Last synced: 2 months ago - Pushed: about 1 year ago - Stars: 3 - Forks: 4