lf-lang / reactor-cLinks
A reactor runtime written in C
☆20Updated last week
Alternatives and similar repositories for reactor-c
Users that are interested in reactor-c are comparing it to the libraries listed below
Sorting:
- A C++ framework for writing reactor programs☆27Updated 6 months ago
- An Eclipse 4 RCP based GUI to interact with SystemC simulators☆15Updated 2 months ago
- Intuitive concurrent programming in any language☆280Updated this week
- Light weight threading library for gem5 syscall emulator (git mirror)☆16Updated 8 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13Updated 6 months ago
- ☆104Updated last week
- Try Lingua Franca now!☆20Updated last week
- Software Instrumentation Dynamically Enabled☆13Updated 3 months ago
- ☆11Updated 2 months ago
- Advanced Operating Systems project☆21Updated 2 months ago
- RISC-V emulator in python☆61Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆37Updated this week
- CHERI C/C++ Programming Guide☆39Updated last week
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated last month
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆118Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- TACLe Benchmarks☆54Updated 3 weeks ago
- ☆28Updated last week
- spike-vp☆12Updated last year
- This shows a simple ARM bare-metal software implementation for gem5☆18Updated 4 years ago
- Embedded Linker☆216Updated this week
- A minimal (really) out-of-tree MLIR example☆45Updated 3 months ago
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Updated last month
- Example for running IREE in a bare-metal Arm environment.☆39Updated 3 months ago
- open64 compiler☆88Updated 2 years ago
- Fork of LLVM adding CHERI support☆59Updated 3 weeks ago
- The Core Flight System (cFS) is a generic flight software architecture framework used on flagship spacecraft, human spacecraft, cubesats,…☆15Updated 4 years ago
- An OpenRISC 1000 multi-core virtual platform based on SystemC/TLM☆15Updated 7 months ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Updated 3 years ago
- A powerful and modern open-source architecture description language.☆44Updated 8 years ago