bmsherman's Stars
lecopivo/SciLean
Scientific computing in Lean 4
compiling-to-categories/concat
Compiling to Categories
leanprover/lean4
Lean 4 programming language and theorem prover
metsci/glimpse
Dynamic and Interactive Visualization of Big Data In Java and OpenGL
probcomp/Gen.jl
A general-purpose probabilistic programming system with programmable inference
probcomp/metaprob
An embedded language for probabilistic programming and meta-programming.
robdockins/ordinals
A simple development of constructive ordinals
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.
leanprover/lean3
Lean Theorem Prover
mattam82/Forcing
Forcing layer on top of Coq
andrejbauer/marshall
Real number computation software
urweb/urweb
The Ur/Web programming language
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language