lf-lang / reactor-cLinks
A reactor runtime written in C
☆18Updated 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☆25Updated last month
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated last week
- Intuitive concurrent programming in any language☆262Updated this week
- Try Lingua Franca now!☆20Updated 3 weeks ago
- SystemC Common Practices (SCP)☆28Updated 7 months ago
- An Eclipse 4 RCP based GUI to interact with SystemC simulators☆8Updated last week
- Automotive Linux BSP Yocto Layer☆9Updated last month
- Embedded Linker☆191Updated this week
- A simple C++ CMake project to jump-start development of SystemC models and systems☆26Updated 7 months ago
- ✔️ Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.☆34Updated this week
- Advanced Operating Systems project☆20Updated 10 months ago
- TBD☆12Updated 5 months ago
- A library for working with the posit number type.☆15Updated 4 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆12Updated 6 years ago
- CHERI C/C++ Programming Guide☆34Updated last week
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆32Updated this week
- Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in …☆14Updated last month
- ☆44Updated last week
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated last month
- FPGA synthesis tool powered by program synthesis☆51Updated last week
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- sel4 benchmarking applications and support library.☆20Updated last month
- A powerful and modern open-source architecture description language.☆42Updated 7 years ago
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- An instruction set simulator based on DBT-RISE implementing the RISC-V ISA☆35Updated this week
- The Scale4Edge ecosystem VP☆10Updated 2 months ago
- C++ header-only reasoning library☆16Updated last year
- Quite OK image compression Verilog implementation☆21Updated 7 months ago
- ☆17Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago