An open source benchmarking framework for IT automation

A micro Python based probabilistic programming language

Python framework which enables you to transform how a user calls or infers an IBM Granite model and how the output from the model is returned to the user.

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

The CloudLens Programming Language

The all seeing chess eye.