INRIA/velus

A Lustre compiler in Coq

Language: Coq - Size: 9.76 MB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 68 - Forks: 6

remyzorg/pendulum

OCaml syntax extension dedicated to the programming of reactive systems on the Web.

Language: OCaml - Size: 1.84 MB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 53 - Forks: 1

INRIA/zelus

A synchronous language with ODEs

Language: OCaml - Size: 62.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 51 - Forks: 14

IBM/probzelus

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

Language: OCaml - Size: 9.81 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 47 - Forks: 12

ptal/bonsai

Programming language based on the synchronous and constraint paradigms

Language: Java - Size: 885 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 0

kieler/semantics

The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation

Language: Java - Size: 594 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 11 - Forks: 6

frameworklabs/proto_activities

Using Protothreads for Synchronous Programming in C

Language: C++ - Size: 62.5 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 8 - Forks: 0

frameworklabs/Pappe

An embedded interpreted synchronous DSL for Swift.

Language: Swift - Size: 63.5 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 0

songlarknet/lark

The Songlark Toolchain for high-assurance software

Language: Scala - Size: 591 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

acorrenson/Ministrel

A toy implementation of a synchronous programming language inspired by Esterel

Language: OCaml - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

kiwek123/lustre

lustre game engine

Size: 4.46 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

fsan19/PaceMaker

Language: C - Size: 1.31 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0