mandel Goto Github PK

ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.

docs

Online documentation for Stan language and platform

graphql-query-generator

Randomly generates GraphQL queries from a GraphQL schema

ibm-generative-ai

IBM-Generative-AI is a Python library built on IBM's large language model REST interface to seamlessly integrate and extend this service in Python programs.

lale

Library for Semi-Automated Data Science

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

Package descriptions for OPAM

posteriordb

Database with posteriors of interest for Bayesian inference

qcert

Compilation and verification of data languages

stanc3

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

test-tools

wcs-ocaml

Watson Conversation Service OCaml SDK

x10

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

x10-highlighting

zelus

A synchronous language with ODEs