Intuitive concurrent programming in any language
☆400Oct 29, 2026Updated this week
Alternatives and similar repositories for lingua-franca
Users that are interested in lingua-franca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Try Lingua Franca now!☆27Updated this week
- A reactor runtime written in C☆22Updated this week
- Reactor runtime implementation in Rust☆14Jun 10, 2025Updated last year
- A lightweight reactor runtime targeted at distributed resource-constrained embedded systems☆21Oct 22, 2026Updated last week
- A C++ framework for writing reactor programs☆28Jan 23, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in …☆42Updated this week
- The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic dia…☆22Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆136Updated this week
- gemoc-studio☆27Mar 4, 2025Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆70Mar 10, 2023Updated 3 years ago
- A classic SPICE circuit simulator in one Rust file, capped at 1000 lines of code☆17Aug 26, 2026Updated 2 months ago
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- A package for compositional system analysis and design☆36Aug 16, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Savina is an Actor Benchmark Suite.☆40Feb 10, 2021Updated 5 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆17Apr 22, 2024Updated 2 years ago
- ☆16Jun 30, 2026Updated 4 months ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- ☆12Updated this week
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- Search-based test generation toolbox written in Python☆23Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆114Oct 23, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆128Updated this week
- TChecker is an open-source verification tool for timed automata☆30Dec 9, 2025Updated 10 months ago
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior …☆38Sep 1, 2026Updated last month
- WaveEye is an AXI4-Lite protocol root cause analysis tool that explains why a violation must occur by identifying missing inter-FSM depen…☆13Mar 30, 2026Updated 7 months ago
- An FPGA accelerator for the Auction algorithm used for data association in multiple object target tracking☆10Mar 27, 2023Updated 3 years ago
- A repository for navigating through various programming languages, providing links to their official websites and repository addresses.☆11Sep 3, 2026Updated last month
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- A Causal-Consistent Reversible Debugger for Erlang☆20Oct 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Yocto Layer for Eclipse iceoryx2™☆15Oct 21, 2026Updated last week
- Chisel Examples for the iCESugar FPGA Board☆12May 4, 2021Updated 5 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71May 10, 2022Updated 4 years ago
- A work-in-progress language and compiler for verified low-level programming☆340Oct 23, 2026Updated last week
- Agile Hardware Design Course☆34Updated this week
- ☆13Sep 6, 2025Updated last year