lf-lang Goto Github PK

.github

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-flexpret-template

A template repository for getting a workspace going for Lingua Franca running on FlexPRET.

lf-gpt

Experimental work with AI-assisted code generation.

lf-lang.github.io

The Lingua Franca website

lf-nrf52

Support for bare-metal programming of nRF52 boards from Nordic Semiconductor

lf-patmos-template

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

nrf52x-base

Starting point and shared code for Nordic nRF52x Thread/BLE platforms.

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