A Claude Code skill for writing idiomatic MathComp / MathComp-Analysis Rocq code.

Scarfbench: Self-Contained Application Refactoring Benchmark

An open source benchmarking framework for IT automation

A micro Python based probabilistic programming language

⚠️ Deprecated: This library's functionality has been rolled into Mellea (https://github.com/generative-computing/mellea)

Prompt Declaration Language (PDL) is a declarative prompt programming language.

Runtime and runner for a compiler from SQL to JavaScript

Compilation and Verification of Data-Centric Languages

ReactiveML: a programming language for implementing interactive systems.

Python interface for the Stan to (Num)Pyro compiler.

Evalution scripts for the Stan to (Num)Pyro compiler

The Stan transpiler (from Stan to C++ and beyond).

Rewriting the Stan compiler in OCaml

A surface language for programming Stan models using python syntax

Database with posteriors of interest for Bayesian inference

A synchronous language with ODEs

Randomly generates GraphQL queries from a GraphQL schema

ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.

An OCaml binding for the openai-gym toolkit to develop and compare reinforcement learning algorithms.

A Lustre compiler in Coq

Translate APIs described by OpenAPI Specifications (OAS) into GraphQL

Scripts to mine GitHub for GraphQL schemas, defined in the Schema Definition Language.

GraphQL schema definitions mined from GitHub

rmlbuild

Library for Semi-Automated Data Science

Deep Probabilistic Programming Language