Ecosyste.ms: Repos

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

Package Usage: hackage: panic


4 versions
Latest release: almost 6 years ago
4 dependent packages
6,332 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/panic

Dependent Repos 17

GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
  • >=0.3 crucible/crucible.cabal
  • >=0.3 crucible/crucible.cabal
  • >=0.3 crucible-wasm/crucible-wasm.cabal
  • * uc-crux-llvm/uc-crux-llvm.cabal

Size: 41.3 MB - Last synced: about 5 hours ago - Pushed: about 17 hours ago

GaloisInc/bv-sized
A bitvector datatype that is parameterized by the vector width.
  • >=0.4.0 && <0.5 bv-sized.cabal

Size: 250 KB - Last synced: 7 months ago - Pushed: over 1 year ago

GaloisInc/surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  • ==0.4.* surveyor-brick/surveyor-brick.cabal
  • ==0.4.* surveyor-core/surveyor-core.cabal

Size: 802 KB - Last synced: 7 days ago - Pushed: over 3 years ago

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

Size: 14.5 MB - Last synced: 7 days ago - Pushed: over 2 years ago

wikiq/copilot
  • >=0.4.0 && <0.5 copilot-theorem/copilot-theorem.cabal

Size: 3.11 MB - Last synced: about 1 year ago - Pushed: about 2 years ago

GaloisInc/saw-core 📦
The SAW core language.
  • * cryptol-saw-core/cryptol-saw-core.cabal
  • * saw-core-what4/saw-core-what4.cabal

Size: 3.98 MB - Last synced: 7 days ago - Pushed: almost 3 years ago

GaloisInc/mctrace
An implementation of DTrace for machine code
  • ==0.4.* mctrace/mctrace.cabal

Size: 12.1 MB - Last synced: 7 days ago - Pushed: about 2 months ago

GaloisInc/llvm-verifier
The LLVM Symbolic Simulator, part of SAW.
  • * llvm-verifier.cabal

Size: 34.7 MB - Last synced: 7 days ago - Pushed: almost 4 years ago

GaloisInc/cryptol-verifier 📦
The Cryptol Symbolic Simulator, part of SAW.
  • * cryptol-verifier.cabal

Size: 369 KB - Last synced: 7 days ago - Pushed: almost 3 years ago

GaloisInc/renovate
A library for binary analysis and rewriting
  • ==0.4.* renovate/renovate.cabal
  • ==0.4.* renovate-aarch32/renovate-aarch32.cabal
  • ==0.4.* renovate-ppc/renovate-ppc.cabal
  • ==0.4.* renovate-x86/renovate-x86.cabal

Size: 2.79 MB - Last synced: 7 days ago - Pushed: 8 months ago

aslatter/dhg-package-plan
  • >=0.3 additional-cabals/cryptol-2.6.0.cabal

Last synced: 8 months ago

GaloisInc/saw-script
The SAW scripting language.
  • * saw-core-what4/saw-core-what4.cabal
  • * saw-script.cabal
  • * cryptol-saw-core/cryptol-saw-core.cabal
  • * saw-core/saw-core.cabal

Size: 64.5 MB - Last synced: 5 days ago - Pushed: 5 days ago

Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • >=0.4.0 && <0.5 copilot-theorem/copilot-theorem.cabal

Size: 4.38 MB - Last synced: 7 days ago - Pushed: 7 days ago

langston-barrett/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
  • >=0.3 crucible/crucible.cabal
  • >=0.3 crucible/crucible.cabal
  • >=0.3 crucible-wasm/crucible-wasm.cabal
  • * uc-crux-llvm/uc-crux-llvm.cabal

Size: 28.1 MB - Last synced: 19 days ago - Pushed: 19 days ago

GaloisInc/macaw
Open source binary analysis tools.
  • * macaw-aarch32/macaw-aarch32.cabal
  • * macaw-aarch32-symbolic/macaw-aarch32-symbolic.cabal
  • * base/macaw-base.cabal

Size: 10.2 MB - Last synced: 3 days ago - Pushed: 4 days ago

ivanperez-keera/copilot Fork of Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • >=0.4.0 && <0.5 copilot-theorem/copilot-theorem.cabal

Size: 4.45 MB - Last synced: 13 days ago - Pushed: 2 months ago

GaloisInc/copilot-1 Fork of Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • >=0.4.0 && <0.5 copilot-theorem/copilot-theorem.cabal

Size: 4.63 MB - Last synced: 7 days ago - Pushed: 10 days ago

GaloisInc/daedalus
The Daedalus data description language
  • * daedalus-utils/daedalus-utils.cabal
  • * daedalus.cabal

Size: 39.6 MB - Last synced: 7 days ago - Pushed: about 1 month ago

GaloisInc/what4
Symbolic formula representation and solver interaction library
  • >=0.3 what4/what4.cabal

Size: 6.51 MB - Last synced: about 5 hours ago - Pushed: about 21 hours ago

GaloisInc/lustre
A parser and AST for Lustre
  • * language-lustre.cabal

Size: 904 KB - Last synced: 7 days ago - Pushed: almost 4 years ago

frisoft/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
  • >=0.3 crucible-wasm/crucible-wasm.cabal

Size: 41 MB - Last synced: 10 months ago - Pushed: 10 months ago

StanleyRoberts/saw-script-vim Fork of GaloisInc/saw-script
Better vim support
  • * saw-core-what4/saw-core-what4.cabal
  • * saw-script.cabal

Size: 27.2 MB - Last synced: 9 months ago - Pushed: over 1 year ago

EthanJamesLew/saw-script Fork of GaloisInc/saw-script
The SAW scripting language.
  • * cryptol-saw-core/cryptol-saw-core.cabal
  • * saw-script.cabal

Size: 58.7 MB - Last synced: 9 months ago - Pushed: 9 months ago

xkey-/macaw Fork of GaloisInc/macaw
Open source binary analysis tools.
  • * macaw-aarch32/macaw-aarch32.cabal
  • * macaw-aarch32-symbolic/macaw-aarch32-symbolic.cabal

Size: 10 MB - Last synced: 8 months ago - Pushed: about 1 year ago

GaloisInc/cryptol
Cryptol: The Language of Cryptography
  • >=0.3 cryptol.cabal

Size: 72.6 MB - Last synced: 7 days ago - Pushed: 28 days ago

2lambda123/cryptol
  • >=0.3 cryptol.cabal

Size: 61.6 MB - Last synced: about 1 month ago - Pushed: 4 months ago