Data

Tools

Indexes

Applications

Experiments

Repos

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

Package Usage: hackage: containers


41 versions
Latest release: plus de 2 ans ago
1 561 dependent packages
125 466 downloads total

View more package details: https://packages.ecosystem.code.gouv.fr/registries/hackage.haskell.org/packages/containers

Dependent Repos 6

frederic.jacquot1/OSE
Organisation des Services d'Enseignement

Last synced: presque 2 ans ago - Pushed: presque 2 ans ago

bliss/libhkl
hkl library from F.Picca with Python wrapping

Last synced: plus d'un an ago - Pushed: presque 2 ans ago

Ganil-acq/Embedded/REActif/REAssemble/zguide

Last synced: plus d'un an ago - Pushed: presque 2 ans ago

disco-lge/soprano
A tool to process ALTO files from the BnF.

Last synced: plus d'un an ago

Renater/pandoc Fork of jgm/pandoc
Universal markup converter

Size: 33,7 Mo - Last synced: 2 jours ago - Pushed: environ 7 ans ago

Deducteam/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.

Size: 127 Mo - Last synced: environ 24 heures ago - Pushed: environ 4 ans ago