synchronous-language

There are 0 repository under synchronous-language topic.

• velus

  INRIA / velus

  A Lustre compiler in Coq

  compcertcoq-formalizationlustresynchronous-language
  Language:Coq 59

• remyzorg / pendulum

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

  languageocamlppx-extensionreactive-programmingsynchronous-languageweb-client
  Language:OCaml 53

• INRIA / zelus

  A synchronous language with ODEs

  hybrid-systemsocamlodessynchronous-languagezelus
  Language:OCaml 48

• IBM / probzelus

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

  probabilistic-programmingsynchronous-languagezelusocaml
  Language:OCaml 46

• ptal / bonsai

  Programming language based on the synchronous and constraint paradigms

  constraint-programmingprogramming-languagesynchronous-language
  Language:Java 15

• frameworklabs / Pappe

  An embedded interpreted synchronous DSL for Swift.

  synchronous-languageswift
  Language:Swift 8

• frameworklabs / proto_activities

  Using Protothreads for Synchronous Programming in C

  protothreadsmacrossynchronous-programmingsynchronous-language
  Language:C++ 8

• songlarknet / lark

  The Songlark Toolchain for high-assurance software

  compilerembedded-systemsformal-methodsmodel-checkingsynchronous-language
  Language:Scala 2

• acorrenson / Ministrel

  A toy implementation of a synchronous programming language inspired by Esterel

  esterelformal-methodslanguagereactive-programmingreactive-systemssynchronoussynchronous-languagesynchronous-programmingverification
  Language:OCaml 1

• fsan19 / PaceMaker

  scchartssynchronous-language
  Language:C 0