Ecosyste.ms: Repos

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

Package Usage: hackage: ivor


9 versions
Latest release: almost 13 years ago
8,308 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/ivor

Dependent Repos 1

avsm/Idris
A language with dependent types
  • >=0.1.13 idris.cabal

Size: 2.83 MB - Last synced: about 2 months ago - Pushed: about 14 years ago

edwinb/Idris-old Fork of avsm/Idris
A language with dependent types
  • >=0.1.14 idris.cabal

Size: 3.16 MB - Last synced: about 1 year ago - Pushed: over 12 years ago

pozorvlak/Idris Fork of edwinb/Idris-old
A language with dependent types
  • >=0.1.13 idris.cabal
  • >=0.1.14 idris.cabal

Size: 2.92 MB - Last synced: about 1 year ago - Pushed: over 13 years ago

dantb/Idris Fork of avsm/Idris
A language with dependent types
  • >=0.1.13 idris.cabal

Size: 2.83 MB - Last synced: about 1 year ago - Pushed: about 14 years ago