bmsherman

bmsherman's Stars

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean29223

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell43449

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k388

• metsci/glimpse

  Dynamic and Interactive Visualization of Big Data In Java and OpenGL

  Language:Java176

• probcomp/Gen.jl

  A general-purpose probabilistic programming system with programmable inference

  Language:Julia1.8k160

• probcomp/metaprob

  An embedded language for probabilistic programming and meta-programming.

  Language:JavaScript16717

• robdockins/ordinals

  A simple development of constructive ordinals

  Language:Coq2

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k636

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k215

• mattam82/Forcing

  Forcing layer on top of Coq

  Language:Coq151

• andrejbauer/marshall

  Real number computation software

  Language:OCaml11914

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML80866

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k643