Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: simple-get-opt
5 versions
Latest release: over 1 year ago
1 dependent package
5,324 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/simple-get-opt
Dependent Repos 8
GaloisInc/daedalus
The Daedalus data description language- >=0.4 talos/talos.cabal
- >=0.4 talos/talos.cabal
- >=0.5 daedalus.cabal
- >=0.4 daedalus.cabal
- >=0.4 daedalus.cabal
- * standalone/cabal-pack/cabal-pack.cabal
Size: 39.6 MB - Last synced: 11 days ago - Pushed: about 1 month ago
GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- * crucible-concurrency/crucible-concurrency.cabal
- * crux/crux.cabal
- * crux-mir/crux-mir.cabal
- * uc-crux-llvm/uc-crux-llvm.cabal
Size: 41.3 MB - Last synced: 3 days ago - Pushed: 5 days ago
GaloisInc/test-lib
A simple test script, for finding and running tests for an executable.- >=0.2.0 && <0.5 test-lib.cabal
- * test-lib.cabal
Size: 13.7 KB - Last synced: 11 days ago - Pushed: 4 months ago
GaloisInc/mir-verifier 📦
SAW front end for the MIR language from rustc- * mir-verifier.cabal
Size: 5.49 MB - Last synced: 11 days ago - Pushed: over 3 years ago
yav/hsview
A tool for viewing Haskell source code- * hsview.cabal
Size: 195 KB - Last synced: about 1 year ago - Pushed: over 9 years ago
TomMD/bench
Simple command line benchmarker for an odd class of command line tools- * bench.cabal
Size: 122 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago
langston-barrett/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- <0.5 crucible-concurrency/crucible-concurrency.cabal
- <0.5 crux-mir/crux-mir.cabal
- <0.5 uc-crux-llvm/uc-crux-llvm.cabal
Size: 28.1 MB - Last synced: 23 days ago - Pushed: 23 days ago
GaloisInc/lustre
A parser and AST for Lustre- * language-lustre.cabal
Size: 904 KB - Last synced: 11 days ago - Pushed: almost 4 years ago
GaloisInc/verification-game
- * web-prover/Storm2.cabal
Size: 39.5 MB - Last synced: 11 days ago - Pushed: over 8 years ago
benjaminfjones/bench Fork of TomMD/bench
Simple command line benchmarker for an odd class of command line tools- * bench.cabal
Size: 145 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago
comatose/redo Fork of jekor/redo
djb's redo implementation in Haskell (for Haskell from Scratch video series)- * redo.cabal
- * redo.cabal
Size: 888 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
frisoft/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- <0.5 crucible-concurrency/crucible-concurrency.cabal
Size: 41 MB - Last synced: 10 months ago - Pushed: 10 months ago