mandel

mandel's Stars

• IBM/openapi-to-graphql

  Translate APIs described by OpenAPI Specifications (OAS) into GraphQL

  Language:TypeScript1.6k39268211

• IBM/graphql-query-generator

  Randomly generates GraphQL queries from a GraphQL schema

  Language:TypeScript338131127

• IBM/lale

  Library for Semi-Automated Data Science

  Language:Python334236282

• stan-dev/posteriordb

  Database with posteriors of interest for Bayesian inference

  Language:Stan182815536

• stan-dev/stanc3

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

  Language:OCaml1432860947

• x10-lang/x10

  Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite

  Language:X107120715

• INRIA/velus

  A Lustre compiler in Coq

  Language:Coq631006

• querycert/qcert

  Compilation and Verification of Data-Centric Languages

  Language:Coq5661069

• INRIA/zelus

  A synchronous language with ODEs

  Language:OCaml4810113

• IBM/probzelus

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

  Language:OCaml4611111

• IBM/yaps

  A surface language for programming Stan models using python syntax

  Language:Python461049

• IBM/wcs-ocaml

  Watson Assistant OCaml SDK

  Language:OCaml227213

• deepppl/stanc3

  Rewriting the Stan compiler in OCaml

  Language:R21404

• reactiveml/rml

  ReactiveML: a programming language for implementing interactive systems.

  Language:OCaml20423

• deepppl/deepppl

  Deep Probabilistic Programming Language

  Language:Python198143

• chesseye/chesseye

  The all seeing chess eye.

  Language:OCaml18411

• IBM/openai-gym-ocaml

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

  Language:OCaml161009

• deepppl/stan-num-pyro

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

  Language:Python13512

• dbcert/dbcert

  Runtime and runner for a compiler from SQL to JavaScript

  Language:OCaml7401

• cloudlens/cloudlens

  The CloudLens Programming Language

  Language:Java6300

• deepppl/evaluation-autoguide

  Language:Python6500

• deepppl/evaluation

  Evalution scripts for the Stan to (Num)Pyro compiler

  Language:Python4500

• ErikWittern/graphql-schema-collector

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

  Language:TypeScript3600

• ErikWittern/graphql-schemas

  GraphQL schema definitions mined from GitHub

  3600

• rpl-lab/zlax

  Language:Python3400

• reactiveml/rmlbuild

  rmlbuild

  Language:OCaml2210

• psg-mit/probzelus-oopsla21

  Language:OCaml1700

• reactiveml/examples

  Language:Makefile1300