gbdrt
Follow
Stars
A Claude Code skill for writing idiomatic MathComp / MathComp-Analysis Rocq code.
A toolbox providing Rocq environment generation, an inference server, and project-parsing tools for ML-oriented interaction with the Rocq prover.
A micro Python based probabilistic programming language
Prompt Declaration Language (PDL) is a declarative prompt programming language.
"Implementation and verification of catenable constant time deques"
Automatic theorem proving via natural language reasoning with LLMs
Python API for lightweight communication with the Rocq proof assistant
Tool to plot realtime and stored data from the commandline, using gnuplot.
CSS files and a template for using Pandoc to generate standalone HTML files
Convert Pandoc Markdown-style footnotes into sidenotes
CmdStanPy is a lightweight interface to Stan for Python users which provides the necessary objects and functions to compile a Stan program and fit the model to data using CmdStan.
Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.
Online inference on reactive probabilistic models, with SMC and symbolic methods
Automatic Differentiation: FADBAD++ for OCaml
The core OCaml system: compilers, runtime system, base libraries
A Synchronous Approach to Quasi-Periodic Systems
ReactiveML: a programming language for implementing interactive systems.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Language support for Zélus https://zelus.di.ens.fr
Python interface for the Stan to (Num)Pyro compiler.