lf-lang / lingua-franca
Intuitive concurrent programming in any language
☆238Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lingua-franca
- Compositional Performance Analysis in Python☆17Updated 3 years ago
- Try Lingua Franca now!☆16Updated 2 weeks ago
- Some Lustre program examples☆21Updated 5 years ago
- Tracking conferences in Real-time Embedded Systems, Design Automation, Cyber-Pyhsical Systems and Robotics.☆94Updated 2 weeks ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- A reactor runtime written in C☆11Updated this week
- Blech is a language for developing reactive, real-time critical embedded software.☆72Updated 2 years ago
- KTH's Timed C compiler☆19Updated 2 years ago
- A framework for the elicitation, specification, formalization and understanding of requirements.☆291Updated 2 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆136Updated last month
- Time-sensitive affine types for predictable hardware generation☆134Updated 3 months ago
- Modelica Advanced Research COmpiler☆21Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆498Updated this week
- Fearless hardware design☆160Updated last week
- A core language for rule-based hardware design 🦑☆140Updated last month
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- A hardware compiler based on LLHD and CIRCT☆249Updated last year
- yet another model checker☆16Updated 3 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆395Updated 2 years ago
- Simulator of multiprocessor real-time scheduling☆79Updated 5 months ago
- Sail architecture definition language☆617Updated this week
- The HW-CBMC and EBMC Model Checkers for Verilog☆61Updated this week
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆142Updated last month
- ☆101Updated 2 years ago
- Open-source implementation of the IEEE 1722 protocol, for streaming audio/video, tunneling CAN/LIN messages and enabling remote access to…☆24Updated last month
- Pono: A flexible and extensible SMT-based model checker☆80Updated 3 weeks ago
- openmcx☆35Updated 2 months ago
- Repository for the HARDENS project☆18Updated 2 weeks ago