Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: finite-typelits
9 versions
Latest release: over 1 year ago
6 dependent packages
12,097 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/finite-typelits
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/mniip%2Ffinite-typelits
Dependent Repos 49
probcomp/haskell-trace-types
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"- * trace-types.cabal
Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago
signed/learning-haskell
- 0.1.2.0 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
neosimsim/myenv
- * haskell/scripts.cabal
Size: 1.27 MB - Last synced: 11 months ago - Pushed: about 1 year ago
byteally/webapi
WAI based library for web api- * webapi-swagger/webapi-swagger.cabal
Size: 2.15 MB - Last synced: 10 days ago - Pushed: 3 months ago
haroldcarr/learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.- * haskell/topic/type-level/2017-08-justin-le-fixed-length-vector-types/justin-le-fixed-length-vector-types.cabal
- * haskell/topic/type-level/2017-08-justin-le-fixed-length-vector-types/justin-le-fixed-length-vector-types.cabal
- * haskell/topic/type-level/2017-08-justin-le-fixed-length-vectors/justin-le-fix-length-vectors.cabal
- * idris/book/2017-Type_Driven_Development_with_Idris/tddwi.cabal
Size: 20 MB - Last synced: 10 months ago - Pushed: about 1 year ago
etorreborre/producer-hs
Simple streaming library for Haskell- 0.1.2.0 cabal.config
Size: 39.1 KB - Last synced: 13 days ago - Pushed: over 6 years ago
dustin/tesla
Tesla API for Haskell- * tesla.cabal
- * tesla.cabal
Size: 936 KB - Last synced: 5 days ago - Pushed: about 1 year ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==0.1.2.0 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 6 days ago - Pushed: almost 4 years ago
sacha-sokoloski/goal
Goal: The Haskell Geometric OptimizAtion Libraries- * core/goal-core.cabal
Last synced: 26 days ago
querl.dox/linux/alpine_linux/aports
- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Last synced: 11 months ago
fuag155555/hasktorch-secondclone
somehow the first clone got corrupted- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
- * hasktorch/hasktorch.cabal
- * hasktorch/hasktorch.cabal
Last synced: over 1 year ago
hasktorch/hasktorch
Tensors and neural networks in Haskell- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
- * hasktorch/hasktorch.cabal
- * hasktorch/hasktorch.cabal
Size: 13.3 MB - Last synced: 23 days ago - Pushed: 23 days ago
compiling-to-categories/concat
Compiling to Categories- * classes/concat-classes.cabal
- * plugin/concat-plugin.cabal
- * plugin/concat-plugin.cabal
Size: 10.9 MB - Last synced: about 1 month ago - Pushed: 3 months ago
genos/online_problems
A collection of my solutions to various online exercises- >=0.1.4.2 && <0.2 advent_of_code_2019/day22/day22.cabal
Size: 3.18 MB - Last synced: 4 months ago - Pushed: 4 months ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 352 MB - Last synced: about 24 hours ago - Pushed: 1 day ago
mniip/finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.- * finite-typelits.cabal
Size: 43 KB - Last synced: 6 days ago - Pushed: about 1 month ago
sheaf/fir
An EDSL that compiles to SPIR-V for graphics programming on the GPU in Haskell.- >=0.1.4.2 && <0.2 fir.cabal
Last synced: 12 months ago
mstksg/neural
Playing with neural networks in haskell just for fun- * neural.cabal
Size: 8.11 MB - Last synced: 13 days ago - Pushed: over 7 years ago
fuag155555/hasktorch
Tensors and neural networks in Haskell- * experimental/gradually-typed/hasktorch-gradually-typed.cabal
Last synced: over 1 year ago
google/codeworld
Educational computer programming environment using Haskell- * codeworld-available-pkgs/codeworld-available-pkgs.cabal
Size: 7.18 MB - Last synced: about 21 hours ago - Pushed: over 1 year ago
SamProtas/composable-associations
Library providing polymorphic composition of serialized haskell data to reduce boilerplate.- 0.1.2.0 composable-associations/cabal.config
- 0.1.2.0 composable-associations-aeson/cabal.config
Size: 47.9 KB - Last synced: 20 days ago - Pushed: about 3 years ago
DaisukeBekki/hasktorch-tools
Deep learning tools for hasktorch- * hasktorch-tools.cabal
- * hasktorch-tools.cabal
Size: 341 KB - Last synced: 28 days ago - Pushed: 28 days ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 0.1.2.0 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
sixears/boundedn
Type-Level Bounded Natural Numbers- * boundedn.cabal
Size: 28.3 KB - Last synced: 5 months ago - Pushed: 5 months ago
RaphaelColman/AdventOfCode2021
- * AdventOfCode2021.cabal
- * AdventOfCode2021.cabal
Size: 557 KB - Last synced: 6 months ago - Pushed: over 1 year ago
jacobstern/hamilton
- 0.1.3.0 cabal.config
- 0.1.3.0 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.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
sebeaumont/nominal
Haskell implementation of nominal datatypes and functions- >=0.1.4 && <0.2 nom.cabal
Last synced: over 1 year ago
KiaraGrouwstra/hasktorch
- * hasktorch/hasktorch.cabal
- * hasktorch/hasktorch.cabal
Last synced: over 1 year ago
victorlcasilva/aports
- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
jumper149/blucontrol
Configurable blue light filter- >=0.1.4.0 && <0.1.5 blucontrol.cabal
Size: 181 KB - Last synced: 27 days ago - Pushed: 4 months ago
tonmoyislam250/mineaports
- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
Bodigrim/vector-sized Fork of expipiplus1/vector-sized
- >=0.1 vector-sized.cabal
Size: 395 KB - Last synced: 3 months ago - Pushed: 3 months ago
marklnichols/Strat
Haskell library for strategy game AI- 0.1.1.0 cabal.config
Last synced: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 0.1.2.0 cabal.config
Last synced: over 1 year ago
dixonary/aoc-2022
- * aoc-haskell-th.cabal
Size: 73.2 KB - Last synced: 2 months ago - Pushed: over 1 year ago
sondresl/AdventOfCode
All my solutions to advent of code- * 2018/Haskell/aoc2018.cabal
- * 2018/Haskell/aoc2018.cabal
- * 2019/Haskell/aoc2019.cabal
- * 2019/Haskell/aoc2019.cabal
- * 2021/Haskell/aoc2021.cabal
- * 2021/Haskell/aoc2021.cabal
- * 2022/Haskell/aoc2022.cabal
- * 2022/Haskell/aoc2022.cabal
- * 2015/Haskell/aoc2015.cabal
- * 2015/Haskell/aoc2015.cabal
- * 2016/Haskell/aoc2016.cabal
- * 2016/Haskell/aoc2016.cabal
Size: 3.31 MB - Last synced: 4 months ago - Pushed: 4 months ago
expipiplus1/vector-sized
- >=0.1 vector-sized.cabal
Size: 405 KB - Last synced: 13 days ago - Pushed: 3 months ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 408 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
Bodigrim/poly
Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)- >=0.1 poly.cabal
- * poly.cabal
Size: 396 KB - Last synced: 19 days ago - Pushed: 7 months ago
con-kitty/concat Fork of compiling-to-categories/concat
Compiling to Categories- * classes/concat-classes.cabal
- * examples/concat-examples.cabal
- * examples/concat-examples.cabal
- * plugin/concat-plugin.cabal
- * sandbox/concat-sandbox.cabal
Size: 10.9 MB - Last synced: 4 months ago - Pushed: 4 months ago
derifatives/advent-of-code-dev-2021 Fork of mstksg/advent-of-code-dev
Interactive development environment and runner for Advent of Code challenges- * aoc-dev.cabal
Size: 789 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
neclitoris/groebner
- >=0.1 && <1 groebner.cabal
- >=0.1 && <1 groebner.cabal
- >=0.1 && <1 groebner.cabal
Size: 94.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago
bgamari/build-env
- 0.1.6.0 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 15 days ago - Pushed: about 1 year ago
mstksg/advent-of-code-2022
🎅🌟❄️☃️🎄🎁- * aoc2022.cabal
Size: 284 KB - Last synced: 13 days ago - Pushed: 6 months ago
active-group/concat Fork of compiling-to-categories/concat
Compiling to Categories- * examples/concat-examples.cabal
- * examples/concat-examples.cabal
- * plugin/concat-plugin.cabal
- * sandbox/concat-sandbox.cabal
Size: 11.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 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.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 341 MB - Last synced: 24 days ago - Pushed: 25 days ago
alex404/goal
The Geometric OptimizAtion Libraries- * core/goal-core.cabal
Size: 1.91 MB - Last synced: 3 days ago - Pushed: 19 days ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1.6.0 testing/darcs/cabal.config
- 0.1.6.0 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
jcgentry/RubiksCube
- 0.1.2.0 cabal.config
Size: 11.8 MB - Last synced: 11 months ago - Pushed: over 6 years ago