#

zelus

Here are 2 public repositories matching this topic...

INRIA / zelus

A synchronous language with ODEs

ocaml hybrid-systems synchronous-language odes zelus

Updated Dec 4, 2024
OCaml

IBM / probzelus

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

ocaml probabilistic-programming synchronous-language zelus

Updated May 22, 2024
OCaml

Improve this page

Add a description, image, and links to the zelus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the zelus topic, visit your repo's landing page and select "manage topics."