Giters
Galois, Inc. (GaloisInc)

Galois, Inc.

GaloisInc

Geek Repo

Location:Portland, OR

Home Page:http://galois.com

Github PK Tool:Github PK Tool

Galois, Inc.'s repositories

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1114Issues:53Issues:1139

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:RustStargazers:598Issues:32Issues:446

saw-script

The SAW scripting language.

Language:HaskellLicense:BSD-3-ClauseStargazers:433Issues:34Issues:1085

reopt

A tool for analyzing x86-64 binaries.

Language:LLVMLicense:BSD-3-ClauseStargazers:294Issues:25Issues:45

macaw

Open source binary analysis tools.

Language:HaskellLicense:BSD-3-ClauseStargazers:188Issues:28Issues:88

what4

Symbolic formula representation and solver interaction library

Language:HaskellStargazers:146Issues:24Issues:102

cereal

Language:HaskellLicense:NOASSERTIONStargazers:78Issues:9Issues:51

daedalus

The Daedalus data description language

Language:HaskellLicense:BSD-3-ClauseStargazers:53Issues:10Issues:180

yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

Language:CLicense:BSD-3-ClauseStargazers:50Issues:4Issues:36

elf-edit

The elf-edit library provides a datatype suitable for reading and writing Elf files.

Language:HaskellLicense:NOASSERTIONStargazers:36Issues:29Issues:13

curl

A Haskell binding to the curl library

Language:HaskellLicense:NOASSERTIONStargazers:30Issues:0Issues:0

cryptol-specs

A central repository for specifications of cryptographic algorithms in Cryptol

Language:TeXLicense:BSD-3-ClauseStargazers:24Issues:33Issues:37

HARDENS

Repository for the HARDENS project

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:15Issues:11Issues:76

pate

Patches Assured up to Trace Equivalence

Language:HaskellLicense:NOASSERTIONStargazers:15Issues:9Issues:200

argo

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW

Language:HaskellStargazers:13Issues:25Issues:98

alex-tools

A Haskell library making it easier to write Alex lexers.

Language:HaskellLicense:ISCStargazers:12Issues:6Issues:3

mctrace

An implementation of DTrace for machine code

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:6Issues:14

libBF-hs

Haskell bindings to libBF

Language:CLicense:MITStargazers:4Issues:0Issues:0

demangler

Haskell library for (C++) symbol name demangling

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:2Issues:0

entree-specs

Language:CoqLicense:BSD-3-ClauseStargazers:2Issues:5Issues:3

seds-rs

a library for SOIS Electronic Data Sheets

Language:RustLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

formal-verso

Formal Verification for Soroban

Language:RustLicense:BSD-3-ClauseStargazers:1Issues:5Issues:0

chocosolver

A backend for Clafer using the Choco4 solver.

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

copilot-1

A stream-based runtime-verification framework for generating hard real-time C code.

Language:HaskellStargazers:0Issues:4Issues:3

flakes

Nix flakes maintained by Galois.

Language:NixStargazers:0Issues:13Issues:1

LLVM-MCA-Daemon

MCAD tweaks for integration into PATE Binja Plugin

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

mustool

Language:C++License:MITStargazers:0Issues:1Issues:0

pono

Pono: A flexible and extensible SMT-based model checker

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

simple-smt-ocaml

Language:OCamlStargazers:0Issues:0Issues:0

soroban-examples

Example Soroban Contracts

License:Apache-2.0Stargazers:0Issues:0Issues:0