Skip to content

@lf-lang The Lingua Franca Coordination Language

Change the repository type filter

All

    Repositories list

    43 repositories

    • lingua-franca

      Public
      Intuitive concurrent programming in any language
      languagetimingconcurrencycoordinationpolyglotdeterminism
      Java
      •
      Other
      •63•240•327•27•Updated Nov 22, 2024Nov 22, 2024

    • reactor-uc

      Public
      A lightweight reactor runtime targeted at resource-constrained embedded systems
      Java
      •
      BSD 2-Clause "Simplified" License
      •1•3•18•5•Updated Nov 22, 2024Nov 22, 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

    • vscode-lingua-franca

      Public
      Lingua Franca extension for Visual Studio Code
      syntax-highlightinglintingdiagramslanguage-server-clientlingua-franca
      TypeScript
      •
      Other
      •3•6•28•1•Updated Nov 22, 2024Nov 22, 2024

    • 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•0•Updated Nov 21, 2024Nov 21, 2024

    • reactor-c

      Public
      A reactor runtime written in C
      C
      •
      Other
      •24•12•83•27•Updated Nov 18, 2024Nov 18, 2024

    • lf-lang.github.io

      Public
      The Lingua Franca website
      MDX
      •
      BSD 3-Clause "New" or "Revised" License
      •19•7•29•4•Updated Nov 18, 2024Nov 18, 2024

    • reactor-cpp

      Public
      A C++ framework for writing reactor programs
      C++
      •
      ISC License
      •10•21•22•3•Updated Nov 11, 2024Nov 11, 2024

    • reactor-ts

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

    • lingo

      Public
      Package manager and build tool for the Lingua Franca coordination language
      Rust
      •
      BSD 2-Clause "Simplified" License
      •1•5•14•0•Updated Oct 31, 2024Oct 31, 2024

    • embedded-lab

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

    • playground-lingua-franca

      Public
      🚀 Try Lingua Franca now!
      playgroundexamplesexperimentsgitpodcodespaces
      Python
      •
      Other
      •13•16•12•9•Updated Oct 27, 2024Oct 27, 2024

    • lf-west-template

      Public template
      Template for Lingua Franca projects using Zephyr as a target platform
      Python
      •2•2•2•2•Updated Oct 5, 2024Oct 5, 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

    • lf-verifier-benchmarks

      Public
      A benchmark suite for LF verifiers
      Shell
      •2•3•0•0•Updated Sep 26, 2024Sep 26, 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•2•8•5•Updated Sep 18, 2024Sep 18, 2024

    • lf-patmos-template

      Public
      C
      •1•0•0•0•Updated Sep 6, 2024Sep 6, 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

    • lf-gpt

      Public
      Experimental work with AI-assisted code generation.
      MDX
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • pkgbuilds-lingua-franca

      Public
      A monorepo for all LF related pkgbuilds
      Shell
      •0•0•0•0•Updated Jul 14, 2024Jul 14, 2024

    • epoch-external-dependencies

      Public
      This repository provides an Eclipse plugin that wraps external libraries for use in the Epoch IDE
      Apache License 2.0
      •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

    • lf-nRF52

      Public template
      Support for bare-metal programming of nRF52 boards from Nordic Semiconductor
      Makefile
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Jun 26, 2024Jun 26, 2024

    • nrf52x-base

      Public
      Starting point and shared code for Nordic nRF52x Thread/BLE platforms.
      C
      •
      MIT License
      •17•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • interpret

      Public
      A time-predictable multicore processor
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•6•2•2•Updated Jun 5, 2024Jun 5, 2024

    • lf-pico-template

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

    • lf-3pi-template

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

    • .github

      Public
      0•0•1•0•Updated Jun 4, 2024Jun 4, 2024

    • lf-flexpret-template

      Public template
      A template repository for getting a workspace going for Lingua Franca running on FlexPRET.
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•1•Updated May 22, 2024May 22, 2024