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: environ 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: plus d'un an ago - Pushed: plus d'un an ago

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

Last synced: environ un an ago - Pushed: plus d'un an ago

Ganil-acq/Embedded/REActif/REAssemble/zguide

Last synced: environ un an ago - Pushed: plus d'un an ago

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

Last synced: environ un an ago

Renater/pandoc Fork of jgm/pandoc
Universal markup converter

Size: 33,7 Mo - Last synced: 5 jours ago - Pushed: presque 7 ans ago

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

Size: 127 Mo - Last synced: 1 jour ago - Pushed: presque 4 ans ago