lf-lang / reactor-c
A reactor runtime written in C
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for reactor-c
- Intuitive concurrent programming in any language☆238Updated this week
- Try Lingua Franca now!☆16Updated 2 weeks ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- Synthesizable Higher-Order Functions (Patterns) for C++☆16Updated 6 years ago
- The F´ MathComponent Tutorial☆12Updated this week
- CHERI C/C++ Programming Guide☆29Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆23Updated this week
- Compositional Performance Analysis in Python☆17Updated 3 years ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆30Updated 2 years ago
- lbuild: a generic, modular code generator in Python 3☆37Updated 11 months ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆15Updated last week
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated last month
- Microkit - A simple operating system framework for the seL4 microkernel☆86Updated last week
- F´ Python tooling and helpers.☆21Updated last week
- Supplementary source code for the ECRTS 2019 paper 'Response-Time Analysis of ROS 2 Processing Chains under Reservation-Based Scheduling'☆28Updated 3 years ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆33Updated 7 months ago
- foonathan/memory vendor package for Fast DDS. Looking for commercial support? Contact info@eprosima.com☆24Updated 3 weeks ago
- ROS 2 Hardware Acceleration Working Group community governance model & list of projects☆60Updated 10 months ago
- Yocto Project layer enables AMD Xilinx tools related metadata for MicroBlaze, Zynq, ZynqMP and Versal devices.☆54Updated last week
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆17Updated 3 months ago
- Deprecated RTWG docs repository☆9Updated 2 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆33Updated last year
- Implementation of the ROS Middleware (rmw) Interface using RTI's Connext DDS.☆26Updated 3 years ago
- Build ROS (1) with Bazel☆24Updated this week
- Treat Requirements Like Code☆58Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆13Updated last year
- F Prime Prime: A modeling language for F Prime☆49Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 11 months ago
- ☆41Updated 3 weeks ago