synchronous-language

There are 0 repository under synchronous-language topic.

• velus

  INRIA / velus

  A Lustre compiler in Coq

  synchronous-languagelustrecoq-formalizationcompcert
  Language:Coq 71

• INRIA / zelus

  A synchronous language with ODEs

  hybrid-systemsocamlodessynchronous-languagezelus
  Language:OCaml 55

• remyzorg / pendulum

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

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

• IBM / probzelus

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

  probabilistic-programmingsynchronous-languagezelusocaml
  Language:OCaml 50

• kieler / semantics

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

  diagramsesterelmodel-driven-developmentmodel-driven-engineeringmodelingmodeling-toolscchartsscestsclsequential-constructivenesssimulationsynchronous-languageverificationvisualization
  Language:Java 17

• ptal / bonsai

  Programming language based on the synchronous and constraint paradigms

  programming-languagesynchronous-languageconstraint-programming
  Language:Java 15

• frameworklabs / proto_activities

  Using Protothreads for Synchronous Programming in C

  protothreadsmacrossynchronous-programmingsynchronous-language
  Language:C++ 10

• frameworklabs / Pappe

  An embedded interpreted synchronous DSL for Swift.

  synchronous-languageswift
  Language:Swift 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

• kiwek123 / lustre

  lustre game engine

  cephfscsidistributed-storageexporterfrontendgleamhpc-clusterk8s-sig-awskuberneteslustre-exporternfs-ganeshanfsv4prometheussynchronous-language