synchronous-language

There are 10 repositories under synchronous-language topic.

INRIA/velus
A Lustre compiler in Coq
Language:Coq57 10 06
remyzorg/pendulum
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
Language:OCaml53 10 241
INRIA/zelus
A synchronous language with ODEs
Language:OCaml49 10 112
IBM/probzelus
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
Language:OCaml46 11 111
ptal/bonsai
Programming language based on the synchronous and constraint paradigms
Language:Java15 3 80
frameworklabs/Pappe
An embedded interpreted synchronous DSL for Swift.
Language:Swift8 1 00
frameworklabs/proto_activities
Using Protothreads for Synchronous Programming in C
Language:C8 3 00
acorrenson/Ministrel
A toy implementation of a synchronous programming language inspired by Esterel
Language:OCaml2 1 0
songlarknet/lark
The Songlark Toolchain for high-assurance software
Language:Scala2 2 00
fsan19/PaceMaker
Language:C0 1 00