Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: type-level-integers
This packages provides type level integers together with
type families for basic arithmetic.
1 version
Latest release: about 7 years ago
1,434 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/type-level-integers
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/mtesseract%2Ftype-level-integers
Dependent Repos 16
signed/learning-haskell
- 0.0.1 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
etorreborre/producer-hs
Simple streaming library for Haskell- 0.0.1 cabal.config
Size: 39.1 KB - Last synced: 13 days ago - Pushed: over 6 years ago
mtesseract/type-level-integers
Provides integers lifted to the type level.- * type-level-integers.cabal
Size: 6.84 KB - Last synced: 19 days ago - Pushed: almost 7 years ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==0.0.1 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 6 days ago - Pushed: almost 4 years ago
querl.dox/linux/alpine_linux/aports
- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Last synced: 11 months ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 352 MB - Last synced: about 19 hours ago - Pushed: about 22 hours ago
SamProtas/composable-associations
Library providing polymorphic composition of serialized haskell data to reduce boilerplate.- 0.0.1 composable-associations/cabal.config
- 0.0.1 composable-associations-aeson/cabal.config
Size: 47.9 KB - Last synced: 19 days ago - Pushed: about 3 years ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 0.0.1 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
jacobstern/hamilton
- 0.0.1 cabal.config
- 0.0.1 hamilton/cabal.config
Size: 856 KB - Last synced: over 1 year ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
victorlcasilva/aports
- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 0.0.1 cabal.config
Last synced: over 1 year ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 408 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
bgamari/build-env
- 0.0.1 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 15 days ago - Pushed: about 1 year ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 383 MB - Last synced: 13 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 341 MB - Last synced: 24 days ago - Pushed: 25 days ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
jcgentry/RubiksCube
- 0.0.1 cabal.config
Size: 11.8 MB - Last synced: 11 months ago - Pushed: over 6 years ago
onepunchtech/one-punch-linux
- 0.0.1 cabal.config
Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
monnef/youtube-tool
CLI tool for easy downloading and opening of videos from YouTube.- 0.0.1 cabal.config
Last synced: about 1 year ago
Jacob-Holm-Mortensen/my-project
- 0.0.1 cabal.config
Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pnaranja/haskellbook
Exercises and notes while studying The Haskell Book - http://haskellbook.com/- 0.0.1 chp14/cabal.config
Size: 3.07 MB - Last synced: 24 days ago - Pushed: over 6 years ago
mikla/haskell-stack-setup
- 0.0.1 cabal.config
Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
chroth7/AoCHaskell
Advent of Code - teaching myself how to Haskell (experiments, ideas, testing...)- 0.0.1 cabal.config
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
anhmiuhv/learn_haskell
- 0.0.1 median/cabal.config
Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
dnaumenko/learning_haskell
- 0.0.1 cabal.config
Size: 784 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
LukeWinikates/simple
- 0.0.1 cabal.config
Size: 60.5 KB - Last synced: 29 days ago - Pushed: almost 7 years ago
DylanHobbs/haskell-shapes
- 0.0.1 cabal.config
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
romue404/wildsow.hs 📦
A card game implemented in Haskell- 0.0.1 cabal.config
Size: 11 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
initdc/aports
- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
yannick-cw/para-search
searching with haskell- 0.0.1 cabal.config
Size: 23.4 KB - Last synced: 2 months ago - Pushed: almost 7 years ago
poproulx/99haskell
- 0.0.1 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/haskell-crawler-example
Wikipedia crawler in Haskell- 0.0.1 cabal.config
Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/wiki-crawlers
Wikipedia crawlers implemented in different languages- 0.0.1 haskell/cabal.config
Size: 85.9 KB - Last synced: about 1 year ago - Pushed: about 4 years ago
courses-at-nju-by-hfwei/learning-haskell
Learn Haskell and Generally Functional Programming- 0.0.1 haskell-tutorial/cabal.config
- 0.0.1 realworld-haskell/cabal.config
Size: 3.51 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pangiole/haskell-wamp
WAMP - Web Application Messaging Protocol implementation written in Haskell- 0.0.1 cabal.config
Size: 21.5 KB - Last synced: 10 months ago - Pushed: almost 7 years ago
5pecia1/yesod-study
- 0.0.1 cabal.config
Size: 25.4 KB - Last synced: 3 months ago - Pushed: over 6 years ago
wk-j/haskell-dot
- 0.0.1 cabal.config
Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/render-svg-in-sdl2-haskell
An example how to render SVG images in SDL 2 in Haskell.- 0.0.1 cabal.config
Size: 36.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/haskell-dnants
A simple ant colony simulation based on a cellular automata.- 0.0.1 cabal.config
Size: 4.57 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
mahulst/advent2017
Advent of code 2017 in Haskell- 0.0.1 day1/cabal.config
- 0.0.1 day2/cabal.config
Size: 25.4 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
bemcho/KafkaConsumerProducerTool
UI haskell based tool for sending data to kafka topics- 0.0.1 cabal.config
Size: 25 MB - Last synced: about 1 year ago - Pushed: about 4 years ago
michael8090/csyt-design
- 0.0.1 cabal.config
Size: 25.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/haskell-sdl2-jump-and-run
A simple Jump 'n' Run game implemented in Haskell using SDL2.- 0.0.1 cabal.config
Size: 447 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
DRouh/urlshortener
- 0.0.1 cabal.config
Size: 23.4 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
tomphp/recently-used-kata
A kata we did in Haskell at SoCraTes UK 2017- 0.0.1 cabal.config
Size: 22.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
SamProtas/slack-groupme-bridge
A bridge between a GroupMe group and a Slack channel- 0.0.1 cabal.config
Size: 43 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
sertel/kvstore
- 0.0.1 cabal.config
Size: 291 KB - Last synced: about 1 year ago - Pushed: over 5 years ago
irmikrys/gomoku
Gomoku game in Haskell- 0.0.1 cabal.config
Size: 65.4 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
eli-jordan/haskell-sudoku-solver
- 0.0.1 cabal.config
Size: 1.87 MB - Last synced: about 2 months ago - Pushed: almost 6 years ago
chadlaing/feht
Predictive marker discovery for groups; binary data, genomic data (single nucleotide variants), arbitrary character data.- 0.0.1 cabal.config
Size: 129 KB - Last synced: 2 months ago - Pushed: almost 6 years ago
RoiPerelman/nintyNineHaskellProblems
- 0.0.1 cabal.config
Size: 53.7 KB - Last synced: 10 months ago - Pushed: over 6 years ago
danielholmes/sudoku-solver
Enter a 4 or 9 size Sudoku and be presented with solutions to it- 0.0.1 cabal.config
Size: 53.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
ArtemShok/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.0.1 testing/darcs/cabal.config
- 0.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.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 1.36 GB - Last synced: 5 months ago
ziyao233/mips-alpine-aports
- 0.0.1 testing/darcs/cabal.config
- 0.0.1 testing/stack/cabal.config
Size: 218 MB - Last synced: 3 months ago - Pushed: 3 months ago
bnvinay92/haskell-classes
- 0.0.1 cabal.config
Size: 449 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
tommybuado/aports
Alpine packages build scripts- 0.0.1 testing/stack/cabal.config
Size: 314 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
yorisilo/yorisilo-sandbox
- 0.0.1 haskell/test/test/cabal.config
Size: 49.8 MB - Last synced: 26 days ago - Pushed: 10 months ago