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
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
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