Pinned Repositories
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
mandel's Repositories
mandel/opam-repository
Package descriptions for OPAM
mandel/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.
mandel/docs
Online documentation for Stan language and platform
mandel/graphql-query-generator
Randomly generates GraphQL queries from a GraphQL schema
mandel/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.
mandel/lale
Library for Semi-Automated Data Science
mandel/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
mandel/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
mandel/posteriordb
Database with posteriors of interest for Bayesian inference
mandel/qcert
Compilation and verification of data languages
mandel/stanc3
The Stan transpiler (from Stan to C++ and beyond).
mandel/test-tools
mandel/wcs-ocaml
Watson Conversation Service OCaml SDK
mandel/x10
Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite
mandel/x10-highlighting
mandel/zelus
A synchronous language with ODEs