Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Polytopoi / osl
A spec language for zero knowledge proofs
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Polytopoi%2Fosl
Fork of Orbis-Tertius/osl
Stars: 2
Forks: 1
Open Issues: 1
License: apache-2.0
Language: Haskell
Repo Size: 1.57 MB
Dependencies:
62
Created: over 1 year ago
Updated: 9 months ago
Last pushed: 9 months ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
osl.cabal
hackage
- QuickCheck *
- aeson *
- base >=4.9 && <5
- basement *
- bytestring *
- containers *
- cryptonite *
- either *
- extra *
- generic-lens *
- genvalidity *
- genvalidity-bytestring *
- genvalidity-sydtest *
- genvalidity-sydtest-aeson *
- ghc-prim *
- hedgehog *
- lens *
- mtl *
- numeric-prelude *
- optparse-applicative *
- osl *
- parsec *
- process *
- random *
- safe *
- sort *
- sydtest *
- sydtest-discover *
- template-haskell *
- text *
- time *
- transformers *
- validation *
- validity *
- QuickCheck * test
- aeson * test
- base >=4.9 && <5 test
- bytestring * test
- containers * test
- either * test
- extra * test
- generic-lens * test
- genvalidity * test
- genvalidity-bytestring * test
- genvalidity-sydtest * test
- genvalidity-sydtest-aeson * test
- ghc-prim * test
- hedgehog * test
- lens * test
- mtl * test
- numeric-prelude * test
- optparse-applicative * test
- osl * test
- parsec * test
- process * test
- random * test
- raw-strings-qq * test
- sydtest * test
- text * test
- time * test
- transformers * test
- validity * test