Skip to content
View mandel's full-sized avatar
21 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

10 stars written in OCaml
Clear filter

stan-dev / stanc3

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

OCaml 149 49 Updated Dec 17, 2025

INRIA / zelus

A synchronous language with ODEs

OCaml 56 14 Updated Dec 8, 2025

IBM / probzelus

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

OCaml 51 12 Updated Sep 17, 2025

IBM / wcs-ocaml

Watson Assistant OCaml SDK

OCaml 21 13 Updated Dec 7, 2018

reactiveml / rml

ReactiveML: a programming language for implementing interactive systems.

OCaml 20 3 Updated Nov 14, 2022

chesseye / chesseye

The all seeing chess eye.

OCaml 19 1 Updated Jul 26, 2017

IBM / openai-gym-ocaml

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

OCaml 16 9 Updated Sep 17, 2025

dbcert / dbcert

Runtime and runner for a compiler from SQL to JavaScript

OCaml 7 1 Updated Oct 19, 2023

reactiveml / rmlbuild

Forked from ocaml/ocamlbuild

rmlbuild

OCaml 2 Updated Sep 24, 2020

psg-mit / probzelus-oopsla21

OCaml 1 Updated Sep 15, 2021