We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Cryptol: The Language of Cryptography
Haskell 1.2k 127
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Haskell 1.1k 79
Crucible is a library for symbolic simulation of imperative programs
Haskell 735 47
The SAW scripting language.
Haskell 475 77
The Ivory EDSL
Haskell 399 28
A tool for analyzing x86-64 binaries.
LLVM 322 29
There was an error while loading. Please reload this page.
Plugin for rustc to dump MIR in JSON format
Sail architecture definition language
A toy ELF parser/validator
Sail RISC-V model
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
Tractor-Clear
Loading…