Ecosyste.ms: Repos

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

Package Usage: hackage: singletons-presburger


10 versions
Latest release: 5 months ago
3 dependent packages
1,081 downloads total

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

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/konn%2Fghc-typelits-presburger

Dependent Repos 9

konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
  • * singletons-presburger/singletons-presburger.cabal

Size: 1.22 MB - Last synced: 14 days ago - Pushed: 5 months ago

konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
  • >=0.4 halg-core/halg-core.cabal
  • >=0.4 halg-core/halg-core.cabal
  • * halg-polynomials/halg-polynomials.cabal

Size: 117 MB - Last synced: 2 days ago - Pushed: 2 days ago

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

Last synced: 11 months ago

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

Size: 350 MB - Last synced: about 2 hours ago - Pushed: about 2 hours ago

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

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

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

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

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

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

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

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

kraj/aports Fork of alpinelinux/aports
Mirror of aports repository
  • 0.6.1.0 testing/darcs/cabal.config
  • 0.6.1.0 testing/stack/cabal.config

Size: 383 MB - Last synced: 14 days ago - Pushed: 5 months ago

techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository
  • 0.6.1.0 testing/darcs/cabal.config
  • 0.6.1.0 testing/stack/cabal.config

Size: 341 MB - Last synced: 25 days ago - Pushed: 26 days ago

tcely/aports Fork of alpinelinux/aports
Mirror of aports repository
  • 0.6.1.0 testing/darcs/cabal.config
  • 0.6.1.0 testing/stack/cabal.config

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

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

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

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

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

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

Size: 1.36 GB - Last synced: 5 months ago

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

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

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

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