Skip to content
View mandel's full-sized avatar

Organizations

@x10-lang @chesseye @querycert @cloudlens @reactiveml @lucy-n @deepppl @rpl-lab

Block or report mandel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An open source benchmarking framework for IT automation

Python 436 38 Updated Jun 18, 2026

A micro Python based probabilistic programming language

Jupyter Notebook 7 Updated Dec 7, 2025

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

Python 57 30 Updated May 18, 2026

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

Python 298 51 Updated Jun 16, 2026

Runtime and runner for a compiler from SQL to JavaScript

OCaml 8 1 Updated Oct 19, 2023

Compilation and Verification of Data-Centric Languages

Coq 59 10 Updated Jul 17, 2024
OCaml 1 Updated Sep 15, 2021

ReactiveML: a programming language for implementing interactive systems.

OCaml 20 3 Updated Nov 14, 2022
Python 3 Updated Jun 3, 2022

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

Python 14 3 Updated Oct 20, 2021
Python 6 Updated Oct 22, 2021

Evalution scripts for the Stan to (Num)Pyro compiler

Python 4 Updated Apr 5, 2021

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

OCaml 160 52 Updated Jun 17, 2026

Rewriting the Stan compiler in OCaml

R 23 4 Updated Jul 20, 2021

A surface language for programming Stan models using python syntax

Python 46 9 Updated Jan 11, 2019

Database with posteriors of interest for Bayesian inference

Stan 225 48 Updated May 2, 2026

A synchronous language with ODEs

OCaml 60 14 Updated Jun 18, 2026

Randomly generates GraphQL queries from a GraphQL schema

TypeScript 347 26 Updated Sep 17, 2025

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

OCaml 51 12 Updated Sep 17, 2025

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

OCaml 16 9 Updated Sep 17, 2025

A Lustre compiler in Coq

Coq 70 6 Updated Jan 6, 2026
Makefile 1 Updated Dec 3, 2018

Translate APIs described by OpenAPI Specifications (OAS) into GraphQL

TypeScript 1,645 215 Updated Jun 2, 2026

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

TypeScript 5 Updated Jan 5, 2021

GraphQL schema definitions mined from GitHub

3 Updated Jul 26, 2019

rmlbuild

OCaml 2 Updated Sep 24, 2020

Library for Semi-Automated Data Science

Python 347 83 Updated May 26, 2026

Deep Probabilistic Programming Language

Python 19 3 Updated Jul 25, 2024

The CloudLens Programming Language

Java 6 Updated Mar 10, 2018

The all seeing chess eye.

OCaml 19 1 Updated Jul 26, 2017
Next