Skip to content

@GaloisInc Galois, Inc.

Change the repository type filter

All

    Repositories list

    513 repositories

    • cryptol-specs

      Public
      A central repository for specifications of cryptographic algorithms in Cryptol
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •7•36•47•6•Updated Dec 23, 2024Dec 23, 2024

    • VERSE-OpenSUT

      Public
      Open System Under Test (SUT) for the VERSE demonstrator
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•41•5•Updated Dec 21, 2024Dec 21, 2024

    • saw-script

      Public
      The SAW scripting language.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •62•444•421•20•Updated Dec 21, 2024Dec 21, 2024

    • cryptol

      Public
      Cryptol: The Language of Cryptography
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •123•1.1k•239•12•Updated Dec 20, 2024Dec 20, 2024

    • macaw-loader

      Public
      Uniform interface to load a binary executable and get Macaw Memory and a list of entry points.
      Haskell
      •1•5•3•1•Updated Dec 20, 2024Dec 20, 2024

    • macaw

      Public
      Open source binary analysis tools.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •20•210•71•4•Updated Dec 20, 2024Dec 20, 2024

    • VERSE-Toolchain

      Public
      Tools for testing and verifying the safety and correctness of C programs.
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•61•4•Updated Dec 19, 2024Dec 19, 2024

    • proverbot9001

      Public
      Coq
      •
      GNU General Public License v3.0
      •18•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • pate

      Public
      Patches Assured up to Trace Equivalence
      armstatic-analysisverificationbinary-analysispowerpccompositional-verification
      Haskell
      •
      Other
      •3•14•24•7•Updated Dec 18, 2024Dec 18, 2024

    • zk-lean

      Public
      zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • ckzg-eip-4844-verification

      Public
      Makefile
      •
      BSD 3-Clause "New" or "Revised" License
      •2•2•2•0•Updated Dec 17, 2024Dec 17, 2024

    • jolt

      Public
      The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
      Rust
      •
      MIT License
      •174•0•0•0•Updated Dec 17, 2024Dec 17, 2024

    • copilot-1

      Public
      A stream-based runtime-verification framework for generating hard real-time C code.
      Haskell
      •57•0•2•0•Updated Dec 15, 2024Dec 15, 2024

    • pono

      Public
      Pono: A flexible and extensible SMT-based model checker
      C++
      •
      Other
      •30•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • HARDENS

      Public
      Repository for the HARDENS project
      Jupyter Notebook
      •
      Apache License 2.0
      •2•20•24•2•Updated Dec 12, 2024Dec 12, 2024

    • parameterized-utils

      Public
      A set of utilities for using indexed types including containers, equality, and comparison.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •13•59•17•8•Updated Dec 10, 2024Dec 10, 2024

    • lustre-w

      Public
      A parser and AST for Lustre
      Haskell
      •
      ISC License
      •5•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • llvm-pretty

      Public
      An llvm pretty printer inspired by the haskell llvm binding
      Haskell
      •
      Other
      •16•29•26•3•Updated Dec 9, 2024Dec 9, 2024

    • swanky

      Public
      A suite of rust libraries for secure multi-party computation
      Rust
      •
      MIT License
      •59•284•9•0•Updated Dec 5, 2024Dec 5, 2024

    • crucible

      Public
      Crucible is a library for symbolic simulation of imperative programs
      Rust
      •42•688•169•4•Updated Dec 4, 2024Dec 4, 2024

    • yapall

      Public
      A precise and scalable pointer analysis for LLVM, written in Ascent
      llvmstatic-analysisdatalogprogram-analysispointer-analysis
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3•61•14•0•Updated Dec 4, 2024Dec 4, 2024

    • what4-solvers

      Public
      Multi-platform binary creation for solvers of the versions most suitable for use with What4
      SMT
      •1•5•3•0•Updated Nov 19, 2024Nov 19, 2024

    • nixpkgs

      Public
      Nix Packages collection & NixOS
      Nix
      •
      MIT License
      •14k•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • fret

      Public
      A framework for the elicitation, specification, formalization and understanding of requirements.
      JavaScript
      •
      Other
      •53•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • json

      Public
      Haskell JSON library
      Haskell
      •
      Other
      •9•27•1•1•Updated Nov 4, 2024Nov 4, 2024

    • cheesecloth

      Public
      C
      •
      MIT License
      •1•7•0•0•Updated Oct 31, 2024Oct 31, 2024

    • scuttlebutt-attack

      Public
      Rust
      •0•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • cheesecloth-curve25519-dalek

      Public
      Rust
      •
      Other
      •0•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • ssb-handshake

      Public
      Rust
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • MicroRAM

      Public
      LLVM
      •
      Other
      •1•0•0•0•Updated Oct 31, 2024Oct 31, 2024