Thanks to visit codestin.com Credit goes to github.com
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 129
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Haskell 1.1k 82
Crucible is a library for symbolic simulation of imperative programs
Haskell 751 45
The SAW scripting language.
Haskell 485 79
The Ivory EDSL
Haskell 405 28
A tool for analyzing x86-64 binaries.
LLVM 336 30
There was an error while loading. Please reload this page.
Specifications of cryptographic algorithms in Cryptol
Open source binary analysis tools.
Plugin for rustc to dump MIR in JSON format
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
The Daedalus data description language
A suite of rust libraries for secure multi-party computation
A stream-based runtime-verification framework for generating hard real-time C code.
Loading…