synchronous-language

There are 0 repository under synchronous-language topic.

• velus

  INRIA / velus

  A Lustre compiler in Coq

  synchronous-languagelustrecoq-formalizationcompcert
  Language:Coq 56

• remyzorg / pendulum

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

  ocamlppx-extensionreactive-programminglanguageweb-clientsynchronous-language
  Language:OCaml 53

• INRIA / zelus

  A synchronous language with ODEs

  zelussynchronous-languageodesocamlhybrid-systems
  Language:OCaml 46

• IBM / probzelus

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

  probabilistic-programmingsynchronous-languagezelusocaml
  Language:OCaml 44

• ptal / bonsai

  Programming language based on the synchronous and constraint paradigms

  programming-languagesynchronous-languageconstraint-programming
  Language:Java 15

• frameworklabs / Pappe

  An embedded interpreted synchronous DSL for Swift.

  swiftsynchronous-language
  Language:Swift 8

• frameworklabs / proto_activities

  Using Protothreads for Synchronous Programming in C

  protothreadsmacrossynchronous-programmingsynchronous-language
  Language:C 7

• acorrenson / Ministrel

  A toy implementation of a synchronous programming language inspired by Esterel

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

• songlarknet / lark

  The Songlark Toolchain for high-assurance software

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

• fsan19 / PaceMaker

  scchartssynchronous-language
  Language:C 0