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

GaloisInc/ASKE-E
  • * aske-e.cabal

Size: 14.5 MB - Last synced: 11 days ago - Pushed: over 2 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