Repository

Repository di GaloisInc

11 repository supportati

Mostra repository con issue indicizzate
GaloisInc/HaLVMHaskell

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

Ultimo commit 6 dic 2018

 (1065 star) (83 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/cryptolHaskell

Cryptol: The Language of Cryptography

Ultimo commit 15 mag 2026

 (1203 star) (129 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/daedalusHaskell

The Daedalus data description language

Ultimo commit 28 mag 2026

 (95 star) (13 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/dismantleHTML

A library of assemblers and disassemblers derived from LLVM TableGen data

Ultimo commit 5 mag 2026

 (26 star) (3 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/graphene-legacyC

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

Ultimo commit 6 set 2021

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/lustreHaskell

A parser and AST for Lustre

Ultimo commit 30 ott 2024

 (12 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/lustre-wHaskell

A parser and AST for Lustre

Ultimo commit 9 dic 2024

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/mctraceHaskell

An implementation of DTrace for machine code

Ultimo commit 15 ago 2024

 (6 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/phixpointHaskell

A library for computing fixpoints over lattices in Haskell

Ultimo commit 24 mag 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/renovate-pateHaskell

A library for binary analysis and rewriting

Ultimo commit 22 nov 2022

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
GaloisInc/try-daedalusPLSQL

Examples and easy setup for trying DaeDaLus

Ultimo commit 16 dic 2022

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)