Pinned Loading

1. GaloisInc/cryptol GaloisInc/cryptol Public

   Cryptol: The Language of Cryptography

   Haskell 1.2k 130

2. GaloisInc/saw-script GaloisInc/saw-script Public

   The Software Analysis Workbench

   Haskell 527 86

3. GaloisInc/rustcrypto-verification GaloisInc/rustcrypto-verification Public

   Verification of various RustCrypto crates against specifications from cryptol-specs.

   Rust

4. GaloisInc/formal-verso GaloisInc/formal-verso Public

   Formal Verification for Soroban

   Rust 3

5. coq-synth coq-synth Public

   Coq synthesizer

   OCaml 3

6. SHoltzen/dice SHoltzen/dice Public

   Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

   OCaml 90 23