esterel

Here are 5 public repositories matching this topic...

kieler / semantics

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

visualization simulation scl modeling verification model-driven-development diagrams esterel modeling-tool synchronous-language model-driven-engineering sccharts scest sequential-constructiveness

Updated Dec 12, 2024
Java

cooljeanius / cec

Sponsor

Star

The Columbia Esterel Compiler - some tarball I found and have been trying to get to compile on OS X

c-plus-plus esterel

Updated Sep 3, 2024
C++

dilawar / cec-esteral

Star

Columbia Esterel Compiler - Personal copy

compiler system-programming esterel

Updated Dec 28, 2020
C++

kartik-s / strl2v

Star

(WIP) an Esterel to Verilog compiler

compiler common-lisp esterel

Updated Oct 18, 2021
Common Lisp

acorrenson / Ministrel

Star

A toy implementation of a synchronous programming language inspired by Esterel

language verification reactive-programming synchronous formal-methods esterel synchronous-language reactive-systems synchronous-programming

Updated Apr 21, 2022
OCaml

Improve this page

Add a description, image, and links to the esterel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the esterel topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

esterel

Here are 5 public repositories matching this topic...

kieler / semantics

cooljeanius / cec

dilawar / cec-esteral

kartik-s / strl2v

acorrenson / Ministrel

Improve this page

Add this topic to your repo