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

ShrykeWindgrace/advent2021
  • * advent2021.cabal

Last synced: over 1 year 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

neosimsim/myenv
  • * haskell/scripts.cabal

Last synced: about 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

ustenzel/mustard
  • * mustard.cabal

Size: 1.94 MB - Last synced: over 1 year ago

ShrykeWindgrace/advent2020
Solutions for AoC 2020
  • * advent2020.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