synchronous-language

There are 11 repositories under synchronous-language topic.

INRIA/velus
A Lustre compiler in Coq
Language:Coq71 8 26
remyzorg/pendulum
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
Language:OCaml53 9 241
INRIA/zelus
A synchronous language with ODEs
Language:OCaml51 9 114
IBM/probzelus
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
Language:OCaml46 10 111
kieler/semantics
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
Language:Java16 3 577
ptal/bonsai
Programming language based on the synchronous and constraint paradigms
Language:Java15 3 80
frameworklabs/proto_activities
Using Protothreads for Synchronous Programming in C
Language:C++9 4 01
frameworklabs/Pappe
An embedded interpreted synchronous DSL for Swift.
Language:Swift8 1 00
songlarknet/lark
The Songlark Toolchain for high-assurance software
Language:Scala2 2 00
acorrenson/Ministrel
A toy implementation of a synchronous programming language inspired by Esterel
Language:OCaml1 1 0
fsan19/PaceMaker
Language:C0 1 00