lf-lang / reactor-cLinks
A reactor runtime written in C
☆18Updated 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:
- Try Lingua Franca now!☆20Updated this week
- A C++ framework for writing reactor programs☆25Updated last month
- The F´ MathComponent Tutorial☆14Updated 2 weeks ago
- Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in …☆14Updated 2 weeks ago
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- MimIR is my Intermediate Representation☆68Updated this week
- Lace - implementation of work-stealing in C☆37Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated this week
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated this week
- CHERI C/C++ Programming Guide☆32Updated 2 months ago
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆83Updated last year
- Example for running IREE in a bare-metal Arm environment.☆35Updated 4 months ago
- C++ header-only reasoning library☆16Updated 11 months ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Updated 2 years ago
- c++ posit implementation☆44Updated last year
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Advanced Operating Systems project☆20Updated 9 months ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆19Updated 4 months ago
- A lock-free real-time flight recorder for your C or C++ programs☆25Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- C++ truth table library☆56Updated last month
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- FPGA synthesis tool powered by program synthesis☆49Updated last month
- Improved NetBSD's Perfect Hash Generation Tool v3☆20Updated last year
- ☆42Updated 2 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated 5 months ago
- TeleBench™ is a suite of benchmarks that allows the users to approximate the performance of processors in modem and related fixed-telecom…☆12Updated 4 years ago
- Chisel library for Unum Type-III Posit Arithmetic☆39Updated 2 months ago
- ☆22Updated this week