Data

Tools

Indexes

Applications

Experiments

Repos

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

Package Usage: hackage: base


52 versions
Latest release: environ un an ago
3 812 dependent packages
65 454 downloads total

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

Dependent Repos 6

frederic.jacquot1/OSE
Organisation des Services d'Enseignement

Last synced: environ un an ago - Pushed: environ un an ago

eole/opnsense-ports Fork of opnsense/ports
OPNsense ports on top of HardenedBSD

Size: 471 Mo - Last synced: environ 7 heures ago - Pushed: presque 4 ans ago

bli/bioinfo_utils

Last synced: environ un an ago - Pushed: environ un an ago

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

Last synced: 10 mois ago - Pushed: environ un an ago

Ganil-acq/Embedded/REActif/REAssemble/zguide

Last synced: 10 mois ago - Pushed: environ un an ago

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

Last synced: 10 mois ago

Deducteam/Agda2Dedukti

Size: 556 ko - Last synced: 4 jours ago - Pushed: plus de 3 ans ago

Renater/pandoc Fork of jgm/pandoc
Universal markup converter

Size: 33,7 Mo - Last synced: environ 6 heures ago - Pushed: plus de 6 ans ago

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

Size: 127 Mo - Last synced: 4 jours ago - Pushed: plus de 3 ans ago

DGA-MI-SSI/unicorn-ppc
Extend Unicorn with Power-PC architecture

Size: 3,97 Mo - Last synced: environ 8 heures ago - Pushed: plus de 4 ans ago