#

rebeca

Here are 2 public repositories matching this topic...

sarmadiali98 / ReLico

I have added a rudimentary Lingua Franca compiler for Timed Rebeca, using the existing Timed Rebeca parser in this project: https://github.com/rebeca-lang/org.rebecalang.compiler

rebeca linguafranca

Updated Feb 5, 2025
Java

alighanbari2002 / Afra

Afra is an integrated development environment for modeling and verifying Rebeca family designs.

java editor ide eclipse-plugin model-checking formal-methods eclipse-rcp rebeca

Updated Sep 27, 2025
Java

Improve this page

Add a description, image, and links to the rebeca 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 rebeca topic, visit your repo's landing page and select "manage topics."