Intuitive concurrent programming in any language
☆329Oct 11, 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:
- A reactor runtime written in C☆22Updated this week
- A C++ framework for writing reactor programs☆28Jan 23, 2026Updated 8 months ago
- A lightweight reactor runtime targeted at distributed resource-constrained embedded systems☆20Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆135May 22, 2026Updated 4 months ago
- Rust bindings for CIRCT☆19Apr 20, 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.
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- Agile Hardware Design Course☆32Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆128Updated this week
- Chisel Examples for the iCESugar FPGA Board☆12May 4, 2021Updated 5 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71May 10, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A package for compositional system analysis and design☆36Aug 16, 2026Updated last month
- ☆11Aug 25, 2022Updated 4 years ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Nov 20, 2019Updated 6 years ago
- VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior …☆37Sep 1, 2026Updated last month
- A collection of benchmarks and tests for the Patmos processor and compiler☆19Dec 2, 2024Updated last year
- A Rust implementation of Cyphal☆61Updated this week
- ☆25Oct 24, 2022Updated 3 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 7 years ago
- Reference implementation of the draft C++ GraphBLAS specification.☆31Feb 19, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆28Nov 3, 2020Updated 5 years ago
- A time-predictable processor for mixed-criticality systems☆64Nov 7, 2024Updated last year
- Some Lustre program examples☆23Jul 8, 2025Updated last year
- ☆12Sep 29, 2026Updated last week
- ☆10Apr 1, 2020Updated 6 years ago
- A modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- Connecting bv_decide to SMTLIB.☆19Sep 27, 2026Updated 2 weeks ago
- Easy-to-use asynchronous rocksdb client for python.☆14Aug 11, 2023Updated 3 years ago
- An implementation of RISC-V☆54Jul 14, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Chisel Cheatsheet☆37Apr 13, 2023Updated 3 years ago
- ☆26Jun 9, 2023Updated 3 years ago
- In-process Python for use within Excel☆20Oct 6, 2014Updated 12 years ago
- ☆28Dec 4, 2025Updated 10 months ago
- NOTE: This repository is deprecated -- meta-genivi-dev can now be found inside of the genivi-dev-platform.git repository☆11Feb 7, 2018Updated 8 years ago
- ☆27Apr 19, 2019Updated 7 years ago
- A Scalable Middleware,integration Eclipse iceoryx and Fast-DDS.☆19Dec 10, 2021Updated 4 years ago