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☆28Updated 7 months ago
- An Eclipse 4 RCP based GUI to interact with SystemC simulators☆15Updated 3 months ago
- Try Lingua Franca now!☆21Updated 3 weeks ago
- uProtocol Language Specific Library for C++☆25Updated last month
- ☆30Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆38Updated 2 weeks ago
- Intuitive concurrent programming in any language☆282Updated this week
- spike-vp☆12Updated last year
- Simulation Foundations Book, in Russian☆15Updated last month
- Embedded Linker☆221Updated this week
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Updated last week
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated last month
- Compositional Performance Analysis in Python☆21Updated 5 years ago
- Light weight threading library for gem5 syscall emulator (git mirror)☆16Updated 8 years ago
- Example for running IREE in a bare-metal Arm environment.☆40Updated 5 months ago
- CHERI C/C++ Programming Guide☆40Updated this week
- Software Instrumentation Dynamically Enabled☆13Updated 3 weeks ago
- 👨💻 Hack the Truck! 🚚☆13Updated 3 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆153Updated 5 months ago
- Unified Access Page for the TRISTAN project☆19Updated 3 weeks ago
- The development version of the L4Re Microkernel☆150Updated 2 weeks ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆72Updated 3 years ago
- A Python subset for a better MLIR programming experience☆49Updated 2 months ago
- CAPD library☆14Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆164Updated 2 weeks ago
- ☆17Updated 2 months ago
- ☆105Updated 2 weeks ago
- A library for constructing allocators and memory pools. It also contains broadly useful abstractions and utilities for memory management.…☆81Updated this week
- Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains☆151Updated last week
- Mirror of the official Xenomai repository for CI purposes☆30Updated 4 months ago