lf-lang Goto Github PK

action-check-lf-files

Action for checking that all Lingua Franca files in a repo compile

benchmarks-lingua-franca

cal-theorem

Examples from the paper "Quantifying and Generalizing the CAP Theorem"

embedded-lab

Lingua Franca Embedded Lab

epoch

An Eclipse-based IDE for Lingua Franca

epoch-external-dependencies

This repository provides an Eclipse plugin that wraps external libraries for use in the Epoch IDE

installation

Installation scripts for Lingua Franca tools

interpret

InterPRET

lf-3pi-template

Program the Pololu 3pi+ 2040 robot using Lingua Franca

lf-avp-demo

Lingua Franca Port of Autoware Autonomous Valet Parking Demo

lf-lang.github.io

The Lingua Franca website

lf-pico-template

Template for Lingua Franca projects using the baremetal RP2040 target platform

lf-pygments-lexer

A pygments lexer for Lingua Franca and its various target dialects

lf-python-support

Python package for supporting code generated by the Lingua Franca compiler

lf-verifier-benchmarks

A benchmark suite for LF verifiers

lf-west-template

Template for Lingua Franca projects using Zephyr as a target platform

lingo

Package manager and build tool for the Lingua Franca coordination language

lingua-franca

Intuitive concurrent programming in any language

lingua-franca.vim

Vim Plugin for Lingua Franca

pkgbuilds-lingua-franca

A monorepo for all LF related pkgbuilds

playground-lingua-franca

:rocket: Try Lingua Franca now!

reactor-c

A reactor runtime written in C

reactor-cpp

A C++ framework for writing reactor programs

reactor-lean

reactor-model

A Lean-based formalization of the Reactor model.

reactor-rs

Reactor runtime implementation in Rust

reactor-ts

A reactor-oriented programming framework in TypeScript

rfcs

RFCs for changes to Lingua Franca

rust-rti

savina

Savina is an Actor Benchmark Suite.