lf-lang / reactor-c
A reactor runtime written in C
☆17Updated last week
Alternatives and similar repositories for reactor-c:
Users that are interested in reactor-c are comparing it to the libraries listed below
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- ☆16Updated last year
- Example for running IREE in a bare-metal Arm environment.☆33Updated last month
- TACLe Benchmarks☆42Updated 5 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- Implementations of the Are-we-fast-yet benchmark suite in Oberon+, C++, C, Pascal, Micron and Luon☆20Updated 2 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆58Updated this week
- Fork of LLVM adding CHERI support☆52Updated 3 weeks ago
- A minimal (really) out-of-tree MLIR example☆44Updated last week
- ☆11Updated this week
- C++ REPL for bare-metal embedded devices☆25Updated 2 years ago
- MimIR is my Intermediate Representation☆66Updated this week
- A C++ framework for writing reactor programs☆24Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Advanced Operating Systems project☆20Updated 7 months ago
- CHERI C/C++ Programming Guide☆31Updated this week
- RISC-V BSV Specification☆20Updated 5 years ago
- Code templates to get started experimenting with the RISC-V LLVM toolchain☆13Updated 6 years ago
- simple snapshot-style integration testing for commands☆70Updated 9 months ago
- ☆19Updated last month
- GPU model checker☆11Updated 6 years ago
- Micro-benchmarking library for C and C++ with PMU counters tracking☆61Updated this week
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated last month
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- Lace - implementation of work-stealing in C☆36Updated last year
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- A term rewriting system for experimental programming language development.☆41Updated this week
- A C++ Library for Hardware Design and Simulation☆15Updated 4 years ago
- The compiler and standard distribution for the C∀ programming language☆78Updated 2 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