Skip to content
You signed in with another tab or window. to refresh your session.
You signed out in another tab or window. to refresh your session.
You switched accounts on another tab or window. to refresh your session.
Popular repositories
Loading
-
Cryptol: The Language of Cryptography
Haskell
1.2k
128
-
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
760
46
-
The Software Analysis Workbench
Haskell
497
78
-
The Ivory EDSL
Haskell
408
27
-
A suite of Rust libraries for secure multi-party computation.
Sieve
344
63
Repositories
Showing 10 of 533 repositories
-
-
daedalus
Public
The Daedalus data description language
Haskell
91
BSD-3-Clause
12
104
2
Updated
-
cn
Public
Forked from
rems-project/cn
CN separation logic refinement type system for C
-
Python
5
MIT
1
6
9
Updated
-
-
llvm-pretty
Public
An llvm pretty printer inspired by the haskell llvm binding
-
mir-json
Public
Plugin for rustc to dump MIR in JSON format
Rust
13
Apache-2.0
4
33
1
Updated
-
what4
Public
Symbolic formula representation and solver interaction library
-
golang
Public
Parser and type analysis for the Go programming language
Haskell
12
BSD-3-Clause
0
5
0
Updated
-
grease
Public
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
Haskell
132
BSD-3-Clause
9
124
8
Updated
You canβt perform that action at this time.