GeezerVison

GeezerVison is showing github.com — Galois, Inc.

Popular repositories Loading

cryptol cryptol Public

Cryptol: The Language of Cryptography

Haskell 1.2k 130
HaLVM HaLVM Public archive

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

Haskell 1.1k 83
crucible crucible Public

Crucible is a library for symbolic simulation of imperative programs

Haskell 781 49
saw-script saw-script Public

The Software Analysis Workbench

Haskell 527 86
ivory ivory Public

The Ivory EDSL

Haskell 417 27
swanky swanky Public

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

Sieve 368 72

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All ASL Assembly BitBake C C# C++ Coq CSS Dockerfile Emacs Lisp Go Haskell HTML Isabelle Java JavaScript Julia Jupyter Notebook Kotlin Lean LLVM Makefile Mathematica Nix OCaml PLSQL Prolog Python Racket Ruby Rust Sail Scala Shell Sieve SMT TeX TypeScript Verilog Vim Script WebAssembly

Sort

Last updated Name Stars

Showing 10 of 549 repositories

saw-script Public
The Software Analysis Workbench

GaloisInc/saw-script's past year of commit activity

Haskell 527 BSD-3-Clause 86 509 14 Updated Nov 12, 2026
what4-solvers Public
Multi-platform binary creation for solvers of the versions most suitable for use with What4

GaloisInc/what4-solvers's past year of commit activity

Shell 9 4 7 4 Updated Nov 11, 2026
daedalus Public
The Daedalus data description language

GaloisInc/daedalus's past year of commit activity

Haskell 98 BSD-3-Clause 15 119 3 Updated Nov 11, 2026
Tractor-Crisp Public

GaloisInc/Tractor-Crisp's past year of commit activity

Python 8 MIT 3 26 23 Updated Nov 11, 2026
swanky Public
A suite of Rust libraries for secure multi-party computation.

GaloisInc/swanky's past year of commit activity

Sieve 368 MIT 72 9 2 Updated Nov 11, 2026
mir-json Public
Plugin for rustc to dump MIR in JSON format

GaloisInc/mir-json's past year of commit activity

Rust 16 Apache-2.0 6 41 3 Updated Nov 9, 2026
jolt Public Forked from a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Uh oh!

There was an error while loading. Please reload this page.

GaloisInc/jolt's past year of commit activity

Rust 0 Apache-2.0 355 0 2 Updated Nov 7, 2026
cryptol-specs Public
Specifications of cryptographic algorithms in Cryptol

GaloisInc/cryptol-specs's past year of commit activity

TeX 58 BSD-3-Clause 15 45 (7 issues need help) 2 Updated Nov 6, 2026
cryptol Public
Cryptol: The Language of Cryptography

GaloisInc/cryptol's past year of commit activity

Haskell 1,228 BSD-3-Clause 130 247 6 Updated Nov 6, 2026
llvm-pretty Public
An llvm pretty printer inspired by the haskell llvm binding

GaloisInc/llvm-pretty's past year of commit activity

Haskell 33 21 25 (1 issue needs help) 7 Updated Nov 4, 2026