Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: peano
Lazy unary natural numbers.
3 versions
Latest release: 7 months ago
1 dependent package
3,300 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/peano
Dependent Repos 10
LadyK-21/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.- >=0.1.0.1 && <0.2 Agda.cabal
Size: 132 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
querl.dox/linux/alpine_linux/aports
- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Last synced: 11 months ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 353 MB - Last synced: 3 days ago - Pushed: 3 days ago
asr/peano
Haskell natural numbers- * peano.cabal
Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
victorlcasilva/aports
- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 413 MB - Last synced: 5 days ago - Pushed: 5 days ago
bgamari/build-env
- 0.1.0.1 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 26 days ago - Pushed: about 1 year ago
uncle-betty/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.- >=0.1.0.1 && <0.2 Agda.cabal
Size: 144 MB - Last synced: 6 days ago - Pushed: 7 days ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 383 MB - Last synced: 24 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 341 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
jespercockx/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.- >=0.1.0.1 && <0.2 Agda.cabal
Size: 137 MB - Last synced: 8 days ago - Pushed: 8 days ago
initdc/aports
- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
strake/polynom.hs
Polynomials and Gröbner bases- ==0.1.* polynom.cabal
Size: 7.81 KB - Last synced: 24 days ago - Pushed: about 7 years ago
ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 379 MB - Last synced: 9 months ago - Pushed: 9 months ago
RepoMirrors/aports
Alpine packages build scripts- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 1.36 GB - Last synced: 6 months ago
ziyao233/mips-alpine-aports
- 0.1.0.1 testing/darcs/cabal.config
- 0.1.0.1 testing/stack/cabal.config
Size: 218 MB - Last synced: 3 months ago - Pushed: 3 months ago
tommybuado/aports
Alpine packages build scripts- 0.1.0.1 testing/stack/cabal.config
Size: 314 MB - Last synced: about 1 month ago - Pushed: about 1 month ago