Ecosyste.ms: Repos

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

Package Usage: hackage: type-natural


48 versions
Latest release: 5 months ago
2 dependent packages
27,229 downloads total

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

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/konn%2Ftype-natural

Dependent Repos 18

konn/yapan
Yet another attempt to a universal document converter
  • >=0.2.3.1 yapan.cabal

Size: 156 KB - Last synced: 14 days ago - Pushed: about 9 years ago

konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
  • * halg-bridge-singular/halg-bridge-singular.cabal
  • * halg-core/halg-core.cabal
  • * halg-core/halg-core.cabal
  • * halg-factor/halg-factor.cabal
  • * halg-polyn-parser/halg-polyn-parser.cabal
  • * halg-polynomials/halg-polynomials.cabal
  • * halg-galois-fields/halg-galois-fields.cabal

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

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

Last synced: 11 months ago

johnpmayer/sized-index
Size-Generic Index Structures
  • ==0.2.1.* sized-index.cabal

Size: 133 KB - Last synced: 7 days ago - Pushed: about 10 years ago

johnpmayer/spatial-index
  • ==0.2.1.* spatial-index.cabal

Size: 145 KB - Last synced: 7 days ago - Pushed: about 10 years ago

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

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

konn/type-natural
Type-level well-kinded natural numbers.
  • * type-natural.cabal

Size: 456 KB - Last synced: 14 days ago - Pushed: 5 months ago

konn/polyfunctor
An attempt to generalize Functors or Bifunctors to n-ary funtors.
  • >=0.2.3.1 polyfunctors.cabal

Size: 105 KB - Last synced: 14 days ago - Pushed: about 9 years ago

johnpmayer/concurrent-rtree
Transactional spatial data structure
  • ==0.2.1.* concurrent-rtree.cabal

Size: 215 KB - Last synced: 7 days ago - Pushed: almost 10 years ago

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

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

owickstrom/sing-fastcut
  • >=0.8 && <2 sing-fastcut.cabal
  • * sing-fastcut.cabal

Size: 363 KB - Last synced: over 1 year ago

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

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

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

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

bgamari/build-env
  • 1.1.0.1 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
  • 1.1.0.1 testing/darcs/cabal.config
  • 1.1.0.1 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
  • 1.1.0.1 testing/darcs/cabal.config
  • 1.1.0.1 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
  • 1.1.0.1 testing/darcs/cabal.config
  • 1.1.0.1 testing/stack/cabal.config

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

ferzcam/Wu-Char-Set
  • * Wu-Char-Set.cabal

Size: 283 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

diagprov/Lol Fork of cpeikert/Lol
A library for ring-based lattice cryptography
  • >=0.2.3.2 && <0.4 lol.cabal
  • * lol.cabal

Size: 166 KB - Last synced: about 1 year ago - Pushed: over 8 years ago

08ME3303/DAT326_DSLsofMATH
Course on Domain Specific Languages for Mathematics _ Haskell
  • * L/DSLsofMath.cabal

Size: 21.1 MB - Last synced: 6 months ago - Pushed: over 5 years ago

iu-parfunc/Lol Fork of cpeikert/Lol
A library for ring-based lattice cryptography
  • >=0.2.3.2 && <0.4 lol.cabal
  • * lol.cabal

Size: 257 KB - Last synced: about 1 year ago - Pushed: over 8 years ago

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

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

DanielRrr/type-integers
  • * type-integers.cabal

Size: 18.6 KB - Last synced: about 1 year ago - Pushed: about 4 years ago

konn/lambda-pi
My hobby implementation of dependent-type system
  • * lambda-pi.cabal
  • * lambda-pi.cabal

Size: 458 KB - Last synced: 14 days ago - Pushed: 10 months ago

serokell/GPLVMHaskell
Gaussian Process Latent Variable Models implemented in Haskell
  • * GPLVMHaskell.cabal

Size: 152 KB - Last synced: about 1 month ago - Pushed: about 4 years ago

serokell/PCA
Implementation of PCA and Probabilistic PCA.
  • * PCA.cabal

Size: 31.3 KB - Last synced: about 1 month ago - Pushed: over 3 years ago

haveo/sedbot
An IRC bot for correcting messages
  • * sedbot.cabal

Size: 15.6 KB - Last synced: 11 months ago - Pushed: almost 3 years ago

ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts
  • 1.1.0.1 testing/darcs/cabal.config
  • 1.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
  • 1.1.0.1 testing/darcs/cabal.config
  • 1.1.0.1 testing/stack/cabal.config

Size: 1.36 GB - Last synced: 5 months ago

LudovicMignot/ConstrainedTildesHaskell
  • * TildesContraintes.cabal
  • * TildesContraintes.cabal

Size: 404 KB - Last synced: 5 months ago - Pushed: 5 months ago

konn/sized
Sized sequence data-types
  • >=1.3 sized.cabal
  • * sized.cabal

Size: 437 KB - Last synced: 14 days ago - Pushed: 3 months ago

ThreeEyedGod/MaximumCity
Backend for MaximumCity Telegram Bot
  • >=1.1.0.1 MaximumCity.cabal
  • >=1.1.0.1 MaximumCity.cabal
  • >=1.1.0.1 MaximumCity.cabal

Size: 3.68 GB - Last synced: 4 days ago - Pushed: about 1 year ago

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

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

pgujjula/hilbert
Number theory library for Haskell.
  • * hilbert.cabal
  • * hilbert.cabal

Size: 3.48 MB - Last synced: 12 days ago - Pushed: 13 days ago

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

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