Repositories

GaloisInc repositories

11 supported repositories

Show repositories with indexed issues
GaloisInc/HaLVMHaskell

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

Last commit Dec 6, 2018

 (1,065 stars) (83 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/cryptolHaskell

Cryptol: The Language of Cryptography

Last commit May 15, 2026

 (1,203 stars) (129 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/daedalusHaskell

The Daedalus data description language

Last commit May 28, 2026

 (95 stars) (13 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/dismantleHTML

A library of assemblers and disassemblers derived from LLVM TableGen data

Last commit May 5, 2026

 (26 stars) (3 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/graphene-legacyC

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support

Last commit Sep 6, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/lustreHaskell

A parser and AST for Lustre

Last commit Oct 30, 2024

 (12 stars) (6 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/lustre-wHaskell

A parser and AST for Lustre

Last commit Dec 9, 2024

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
GaloisInc/mctraceHaskell

An implementation of DTrace for machine code

Last commit Aug 15, 2024

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/phixpointHaskell

A library for computing fixpoints over lattices in Haskell

Last commit May 24, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/renovate-pateHaskell

A library for binary analysis and rewriting

Last commit Nov 22, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/try-daedalusPLSQL

Examples and easy setup for trying DaeDaLus

Last commit Dec 16, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)