Pinned Loading

1. psg-mit/probzelus-haskell psg-mit/probzelus-haskell Public

   A probabilistic programming language for streaming inference

   Haskell 7

2. psg-mit/smooth psg-mit/smooth Public

   An arbitrary-precision differentiable programming language.

   Haskell 35 6

3. psg-mit/marshall psg-mit/marshall Public

   Our modifications of the Marshall language for exact real arithmetic and examples

   OCaml 8

4. topology topology Public

   Formal topology (and some probability) in Coq

   Coq 31 8

5. GaloisInc/lean-protocol-support GaloisInc/lean-protocol-support Public

   This project contains various supporting libraries for lean to reason about protocols.

   Lean 43 2