lf-lang / lingua-francaLinks
Intuitive concurrent programming in any language
☆260Updated last week
Alternatives and similar repositories for lingua-franca
Users that are interested in lingua-franca are comparing it to the libraries listed below
Sorting:
- Reactors for scientific computing, machine learning, robotics, mechatronics and automation.☆12Updated 3 weeks ago
- Try Lingua Franca now!☆20Updated last week
- Compositional Performance Analysis in Python☆18Updated 4 years ago
- A reactor runtime written in C☆18Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆108Updated last year
- UCLID5: formal modeling, verification, and synthesis of computational systems☆143Updated 2 months ago
- Time-sensitive affine types for predictable hardware generation☆143Updated 10 months ago
- KTH's Timed C compiler☆19Updated 3 years ago
- Some Lustre program examples☆21Updated 6 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- Repository for the HARDENS project☆24Updated 5 months ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆417Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- A hardware compiler based on LLHD and CIRCT☆259Updated last year
- Pono: A flexible and extensible SMT-based model checker☆103Updated this week
- Hardcaml is an OCaml library for designing hardware.☆778Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆101Updated this week
- Sail architecture definition language☆739Updated this week
- Automated Analysis Framework for Simulink/Stateflow☆16Updated last year
- The main development version of the PRISM model checker.☆172Updated this week
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆34Updated last year
- An interactive (fast) static source code analyzer☆163Updated 2 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 4 months ago
- Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics!☆100Updated this week
- Eclipse zenoh for pico devices☆158Updated this week
- Fearless hardware design☆177Updated last month
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆72Updated this week
- A verification tool for many memory models☆94Updated this week