Popular repositories Loading

1. cryptol cryptol Public

   Cryptol: The Language of Cryptography

   Haskell 1.2k 126

2. HaLVM HaLVM Public archive

   The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

   Haskell 1.1k 79

3. crucible crucible Public

   Crucible is a library for symbolic simulation of imperative programs

   Haskell 722 46

4. saw-script saw-script Public

   The SAW scripting language.

   Haskell 470 75

5. ivory ivory Public

   The Ivory EDSL

   Haskell 397 28

6. reopt reopt Public

   A tool for analyzing x86-64 binaries.

   LLVM 321 27