Stars
Variational Bayesian Monte Carlo (VBMC) algorithm for posterior and model inference in MATLAB
Mirror of https://gitlab.redox-os.org/redox-os/redox
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…