Data

Tools

Indexes

Applications

Experiments

Repos

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

Package Usage: actions: haskell/actions/setup

View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/haskell/actions/setup

Dependent Repos 1

Deducteam/Agda2Dedukti

Size: 556 KB - Last synced: 5 days ago - Pushed: over 3 years ago

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

Size: 127 MB - Last synced: 5 days ago - Pushed: over 3 years ago