Pinned Loading

1. GaloisInc/cryptol GaloisInc/cryptol Public

   Cryptol: The Language of Cryptography

   Haskell 1.1k 126

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

   The SAW scripting language.

   Haskell 439 63

3. coq-synth coq-synth Public

   Coq synthesizer

   OCaml 2

4. SHoltzen/dice SHoltzen/dice Public

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

   OCaml 80 20

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

   Formal Verification for Soroban

   Rust 1

6. metro metro Public

   A functional programming language (work in progress)

   Haskell 6