Skip to content
View bmsherman's full-sized avatar
49 followers · 0 following

Organizations

@idris-lang @HaskellDC @psg-mit
Block or Report

Block or report bmsherman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

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

    A probabilistic programming language for streaming inference

    Haskell 8

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

    An arbitrary-precision differentiable programming language.

    Haskell 33 6

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

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

    OCaml 6

  4. topology topology Public

    Formal topology (and some probability) in Coq

    Coq 32 8

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

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

    Lean 39 2