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 128
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Haskell 1.1k 80
Crucible is a library for symbolic simulation of imperative programs
Haskell 746 46
The SAW scripting language.
Haskell 478 77
The Ivory EDSL
Haskell 402 28
A tool for analyzing x86-64 binaries.
LLVM 328 29
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
There was an error while loading. Please reload this page.
Sail RISC-V model
Symbolic formula representation and solver interaction library
Parser for the llvm bitcode format
Sail architecture definition language
Plugin for rustc to dump MIR in JSON format
A stream-based runtime-verification framework for generating hard real-time C code.
Loading…