Ecosyste.ms: Repos

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

Package Usage: hackage: singleton-nats

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.
18 versions
Latest release: 8 months ago
1 dependent package
9,603 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/singleton-nats

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/AndrasKovacs%2Fsingleton-nats

Dependent Repos 7

querl.dox/linux/alpine_linux/aports
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Last synced: 11 months ago

Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 353 MB - Last synced: 3 days ago - Pushed: 3 days ago

karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

victorlcasilva/aports
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

RyanGlScott/eliminators
Dependently typed elimination functions using singletons
  • >=0.4.2 && <0.5 eliminators.cabal
  • >=0.4.2 && <0.5 eliminators.cabal

Size: 169 KB - Last synced: 12 days ago - Pushed: 13 days ago

tonmoyislam250/mineaports
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 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.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 413 MB - Last synced: 5 days ago - Pushed: 5 days ago

bgamari/build-env
  • 0.4.6 tests/SEEDS/cabal.config

Size: 271 KB - Last synced: 26 days ago - Pushed: about 1 year ago

kraj/aports Fork of alpinelinux/aports
Mirror of aports repository
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 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.4.6 testing/darcs/cabal.config
  • 0.4.6 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.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

initdc/aports
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

RyanGlScott/ghc-software-foundations
The Software Foundations book, in GHC
  • >=0.4.2 && <0.5 logical-foundations/logical-foundations.cabal

Size: 123 KB - Last synced: 12 days ago - Pushed: 13 days ago

bemcho/KafkaConsumerProducerTool
UI haskell based tool for sending data to kafka topics
  • 0.4.0.3 cabal.config

Size: 25 MB - Last synced: about 1 year ago - Pushed: about 4 years ago

iu-parfunc/showtime
An implementation and verification of the showtime algorithm
  • >=0.4.1 && <0.5 showtime.cabal

Size: 151 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago

ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 379 MB - Last synced: 9 months ago - Pushed: 9 months ago

RepoMirrors/aports
Alpine packages build scripts
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 1.36 GB - Last synced: 6 months ago

ziyao233/mips-alpine-aports
  • 0.4.6 testing/darcs/cabal.config
  • 0.4.6 testing/stack/cabal.config

Size: 218 MB - Last synced: 3 months ago - Pushed: 3 months ago

tommybuado/aports
Alpine packages build scripts
  • 0.4.6 testing/stack/cabal.config

Size: 314 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

RyanGlScott/singleton-gadts
SingKind instances for GADTs
  • >=0.4.2 && <0.5 singleton-gadts.cabal
  • >=0.4.2 && <0.5 singleton-gadts.cabal

Size: 65.4 KB - Last synced: 13 days ago - Pushed: 13 days ago