Pinned Loading

1. GaloisInc/cryptol GaloisInc/cryptol Public

   Cryptol: The Language of Cryptography

   Haskell 1.2k 127

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

   The Software Analysis Workbench

   Haskell 497 77

3. coq-synth coq-synth Public

   Coq synthesizer

   OCaml 3

4. SHoltzen/dice SHoltzen/dice Public

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

   OCaml 87 23

5. GaloisInc/formal-verso GaloisInc/formal-verso Public

   Formal Verification for Soroban

   Rust 2

6. metro metro Public

   A functional programming language (work in progress)

   Haskell 6