Skip to content

@lf-lang The Lingua Franca Coordination Language

Change the repository type filter

All

    Repositories list

    51 repositories

    • reactor-c

      Public
      A reactor runtime written in C
      C
      •
      Other
      •24•14•83•26•Updated Jan 19, 2025Jan 19, 2025

    • lingua-franca

      Public
      Intuitive concurrent programming in any language
      languagetimingconcurrencycoordinationpolyglotdeterminism
      Java
      •
      Other
      •64•245•324•27•Updated Jan 19, 2025Jan 19, 2025

    • vscode-lingua-franca

      Public
      Lingua Franca extension for Visual Studio Code
      syntax-highlightinglintingdiagramslanguage-server-clientlingua-franca
      TypeScript
      •
      Other
      •3•6•28•1•Updated Jan 19, 2025Jan 19, 2025

    • lf-verifier-benchmarks

      Public
      A benchmark suite for LF verifiers
      Shell
      •2•3•0•0•Updated Jan 17, 2025Jan 17, 2025

    • playground-lingua-franca

      Public
      🚀 Try Lingua Franca now!
      playgroundexamplesexperimentsgitpodcodespaces
      Python
      •
      Other
      •13•16•13•9•Updated Jan 17, 2025Jan 17, 2025

    • reactor-uc

      Public
      A lightweight reactor runtime targeted at resource-constrained embedded systems
      Java
      •
      BSD 2-Clause "Simplified" License
      •1•4•28•6•Updated Jan 17, 2025Jan 17, 2025

    • lf-lang.github.io

      Public
      The Lingua Franca website
      MDX
      •
      BSD 3-Clause "New" or "Revised" License
      •19•7•28•3•Updated Jan 17, 2025Jan 17, 2025

    • mqtt-c

      Public
      MQTT publisher and subscriber library reactors for the C target.
      CMake
      •
      Other
      •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

    • lf-demos

      Public
      This repo contains artifacts such as scripts and sample programs used in demonstrations of Lingua Franca.
      HTML
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•1•Updated Jan 13, 2025Jan 13, 2025

    • lf-zephyr-uc-template

      Public template
      template project with reactor-uc on zephyr
      CMake
      •0•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • lf-pico-uc-template

      Public template
      Template repo for LF applications targeting the Raspberry Pi Pico
      CMake
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • lf-riot-uc-template

      Public template
      Template project for LF applications built on RIOT
      Nix
      •
      BSD 2-Clause "Simplified" License
      •0•0•1•0•Updated Jan 10, 2025Jan 10, 2025

    • mujoco-c

      Public
      MuJoCo physics-based simulation for the C target.
      CMake
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jan 9, 2025Jan 9, 2025

    • lf-riot-uc-demo

      Public
      Demonstration programs using reactor-uc with RIoT on STM32 boards.
      Nix
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jan 9, 2025Jan 9, 2025

    • lingo

      Public
      Package manager and build tool for the Lingua Franca coordination language
      Rust
      •
      BSD 2-Clause "Simplified" License
      •2•7•18•3•Updated Jan 8, 2025Jan 8, 2025

    • reactor-cpp-exp

      Public
      Experimental fork of the LF C++ framework for writing reactor programs
      C++
      •
      ISC License
      •12•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • reactor-ts

      Public
      A reactor-oriented programming framework in TypeScript
      TypeScript
      •6•11•26•8•Updated Jan 6, 2025Jan 6, 2025

    • pkgs

      Public
      List of packages containing reusable reactors
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 31, 2024Dec 31, 2024

    • reactor-cpp

      Public
      A C++ framework for writing reactor programs
      C++
      •
      ISC License
      •12•22•22•3•Updated Dec 30, 2024Dec 30, 2024

    • lf-patmos-template

      Public
      C
      •1•0•1•0•Updated Dec 13, 2024Dec 13, 2024

    • lf-3pi-template

      Public template
      Program the Pololu 3pi+ 2040 robot using Lingua Franca
      templateraspberry-pipicopololulingua-franca
      C
      •
      Other
      •1•2•0•0•Updated Dec 11, 2024Dec 11, 2024

    • lf-pico-template

      Public template
      Template for Lingua Franca projects using the baremetal RP2040 target platform
      TypeScript
      •0•0•0•1•Updated Dec 11, 2024Dec 11, 2024

    • lf-west-template

      Public template
      Template for Lingua Franca projects using Zephyr as a target platform
      Python
      •2•2•2•2•Updated Dec 10, 2024Dec 10, 2024

    • reactor-model

      Public
      A Lean-based formalization of the Reactor model.
      Lean
      •
      Apache License 2.0
      •0•5•2•0•Updated Nov 22, 2024Nov 22, 2024

    • embedded-lab

      Public
      Lingua Franca Embedded Lab
      BSD 2-Clause "Simplified" License
      •8•2•7•1•Updated Oct 30, 2024Oct 30, 2024

    • action-check-lf-files

      Public
      Action for checking that all Lingua Franca files in a repo compile
      TypeScript
      •
      MIT License
      •0•0•1•2•Updated Sep 27, 2024Sep 27, 2024

    • epoch

      Public archive
      An Eclipse-based IDE for Lingua Franca
      Java
      •
      Other
      •1•1•0•0•Updated Sep 22, 2024Sep 22, 2024

    • benchmarks-lingua-franca

      Public
      Rust
      •4•3•8•5•Updated Sep 18, 2024Sep 18, 2024

    • rfcs

      Public
      RFCs for changes to Lingua Franca
      BSD 2-Clause "Simplified" License
      •4•5•0•7•Updated Aug 23, 2024Aug 23, 2024

    • rust-rti

      Public
      Rust
      •
      Other
      •1•3•13•0•Updated Aug 21, 2024Aug 21, 2024