Voozh

VOOZH

URL: https://github.com/GaloisInc

⇱ Galois, Inc. · GitHub

Popular repositories Loading

cryptol Public

Cryptol: The Language of Cryptography

Haskell 1.2k 128
HaLVM Public archive

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

Haskell 1.1k 82
crucible Public

Crucible is a library for symbolic simulation of imperative programs

Haskell 760 46
saw-script Public

The Software Analysis Workbench

Haskell 497 78
ivory Public

The Ivory EDSL

Haskell 408 27
swanky Public

A suite of Rust libraries for secure multi-party computation.

Sieve 344 63

Repositories

Showing 10 of 533 repositories

saw-script Public
The Software Analysis Workbench

Haskell 497 BSD-3-Clause 78 505 14 Updated
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

OCaml 0 21 0 0 Updated
Tractor-Crisp Public

Python 5 MIT 1 6 9 Updated
copilot-1 Public Forked from Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 2 77 0 0 Updated
llvm-pretty Public
An llvm pretty printer inspired by the haskell llvm binding

Haskell 31 16 23 (1 issue needs help) 6 Updated
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

Haskell 175 14 55 (2 issues need help) 3 Updated
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

View all repositories

People

👁 @glguy
👁 @yav
👁 @jtdaugherty
👁 @kquick
👁 @Launchbury
👁 @thebendavis

You can’t perform that action at this time.