lf-lang / reactor-cLinks
A reactor runtime written in C
☆19Updated this 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 2 weeks ago
- Intuitive concurrent programming in any language☆283Updated last week
- An Eclipse 4 RCP based GUI to interact with SystemC simulators☆15Updated 4 months ago
- Embedded Linker☆223Updated this week
- ☆106Updated this week
- RISC-V emulator in python☆63Updated last year
- Try Lingua Franca now!☆21Updated 2 weeks ago
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Updated this week
- CHERI C/C++ Programming Guide☆40Updated this week
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆84Updated 2 weeks ago
- SBLP 2025 MLIR Tutorial☆69Updated 4 months ago
- Fork of LLVM adding CHERI support☆64Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆41Updated last week
- Light weight threading library for gem5 syscall emulator (git mirror)☆16Updated 8 years ago
- Software Instrumentation Dynamically Enabled☆13Updated last week
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated 2 months ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13Updated 8 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆154Updated 7 months ago
- Advanced Operating Systems project☆21Updated 4 months ago
- Embedded Universal DSL: a good DSL for us, by us☆66Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆79Updated last week
- A tool to extract complexities and costs from programs and kernels☆17Updated 2 years ago
- A C++ Library for Hardware Design and Simulation☆15Updated 5 years ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆46Updated last month
- MimIR is my Intermediate Representation☆89Updated this week
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 5 months ago
- Infrastructure to drive Spike (RISC-V ISA Simulator) in cosim mode. Hammer provides a C++ and Python interface to interact with Spike.☆39Updated 3 weeks ago
- TACLe Benchmarks☆55Updated 3 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆125Updated 2 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆101Updated this week