Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by GaloisInc
A curated list of projects in awesome lists by GaloisInc .
https://github.com/galoisinc/halvm
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 25 Sep 2024
https://github.com/GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 02 Aug 2024
https://github.com/GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
Last synced: 02 Aug 2024
https://github.com/galoisinc/haskell-tor
A Haskell implementation of the Tor protocol.
Last synced: 03 Aug 2024
https://github.com/GaloisInc/haskell-tor
A Haskell implementation of the Tor protocol.
Last synced: 01 Aug 2024
https://github.com/GaloisInc/swanky
A suite of rust libraries for secure multi-party computation
Last synced: 01 Aug 2024
https://github.com/GaloisInc/what4
Symbolic formula representation and solver interaction library
Last synced: 03 Aug 2024
https://github.com/GaloisInc/ec2-unikernel
Tool for uploading unikernels into EC2
Last synced: 04 Aug 2024
https://github.com/GaloisInc/daedalus
The Daedalus data description language
Last synced: 01 Aug 2024
https://github.com/GaloisInc/renovate
A library for binary analysis and rewriting
Last synced: 03 Aug 2024
https://github.com/GaloisInc/lean4-balance-car
Lean4 port of Arduino balance car controller
Last synced: 04 Aug 2024
https://github.com/GaloisInc/lean-protocol-support
This project contains various supporting libraries for lean to reason about protocols.
Last synced: 09 Aug 2024
https://github.com/GaloisInc/lean-llvm
LLVM support for the lean theorem prover
Last synced: 09 Aug 2024