Pinned Repositories
interpret
A time-predictable multicore processor
lf-lang.github.io
The Lingua Franca website
lingo
Package manager and build tool for the Lingua Franca coordination language
lingua-franca
Intuitive concurrent programming in any language
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-rs
Reactor runtime implementation in Rust
reactor-ts
A reactor-oriented programming framework in TypeScript
vscode-lingua-franca
Lingua Franca extension for Visual Studio Code
The Lingua Franca Coordination Language's Repositories
lf-lang/lingua-franca
Intuitive concurrent programming in any language
lf-lang/reactor-cpp
A C++ framework for writing reactor programs
lf-lang/playground-lingua-franca
:rocket: Try Lingua Franca now!
lf-lang/reactor-c
A reactor runtime written in C
lf-lang/reactor-ts
A reactor-oriented programming framework in TypeScript
lf-lang/lf-lang.github.io
The Lingua Franca website
lf-lang/lingo
Package manager and build tool for the Lingua Franca coordination language
lf-lang/vscode-lingua-franca
Lingua Franca extension for Visual Studio Code
lf-lang/reactor-model
A Lean-based formalization of the Reactor model.
lf-lang/rfcs
RFCs for changes to Lingua Franca
lf-lang/reactor-uc
A lightweight reactor runtime targeted at resource-constrained embedded systems
lf-lang/benchmarks-lingua-franca
lf-lang/lf-verifier-benchmarks
A benchmark suite for LF verifiers
lf-lang/rust-rti
lf-lang/embedded-lab
Lingua Franca Embedded Lab
lf-lang/lf-3pi-template
Program the Pololu 3pi+ 2040 robot using Lingua Franca
lf-lang/lf-west-template
Template for Lingua Franca projects using Zephyr as a target platform
lf-lang/epoch
An Eclipse-based IDE for Lingua Franca
lf-lang/action-check-lf-files
Action for checking that all Lingua Franca files in a repo compile
lf-lang/lf-demos
This repo contains artifacts such as scripts and sample programs used in demonstrations of Lingua Franca.
lf-lang/lf-gpt
Experimental work with AI-assisted code generation.
lf-lang/lf-patmos-template
lf-lang/lf-pico-template
Template for Lingua Franca projects using the baremetal RP2040 target platform
lf-lang/lf-riot-uc-demo
Demonstration programs using reactor-uc with RIoT on STM32 boards.
lf-lang/lf-riot-uc-template
Template project for LF applications built on RIOT
lf-lang/lf-zephyr-uc-template
template project with reactor-uc on zephyr
lf-lang/mqtt-c
MQTT publisher and subscriber library reactors for the C target.
lf-lang/mujoco-c
MuJoCo physics-based simulation for the C target.
lf-lang/pkgs
List of packages containing reusable reactors
lf-lang/reactor-cpp-exp
Experimental fork of the LF C++ framework for writing reactor programs