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'EnseignementLast synced: presque 2 ans ago - Pushed: presque 2 ans ago
bliss/libhkl
hkl library from F.Picca with Python wrappingLast 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
Renater/pandoc Fork of jgm/pandoc
Universal markup converterSize: 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