lf-lang / reactor-cLinks
A reactor runtime written in C
☆19Updated 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:
- Intuitive concurrent programming in any language☆263Updated this week
- A C++ framework for writing reactor programs☆25Updated 2 months ago
- uProtocol Language Specific Library for C++☆25Updated last week
- Try Lingua Franca now!☆19Updated last week
- Compositional Performance Analysis in Python☆18Updated 4 years ago
- Embedded Linker☆195Updated last week
- TACLe Benchmarks☆49Updated 9 months ago
- Light weight threading library for gem5 syscall emulator (git mirror)☆16Updated 8 years ago
- An Eclipse 4 RCP based GUI to interact with SystemC simulators☆8Updated this week
- ☆102Updated last week
- Fork of LLVM adding CHERI support☆56Updated this week
- CHERI C/C++ Programming Guide☆34Updated 2 weeks ago
- This shows a simple ARM bare-metal software implementation for gem5☆17Updated 3 years ago
- A numpy like array programming language optimized with BuildIt☆14Updated last month
- Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in …☆14Updated 2 months ago
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆114Updated this week
- An interactive (fast) static source code analyzer☆173Updated 3 weeks ago
- Advanced Operating Systems project☆20Updated 11 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆76Updated this week
- UCLID5: formal modeling, verification, and synthesis of computational systems☆148Updated 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 this week
- A minimal (really) out-of-tree MLIR example☆44Updated last week
- spike-vp☆11Updated last year
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- Design By Contract (DBC) for embedded C and C++☆21Updated 2 years ago
- RISC-V emulator in python☆60Updated last year
- ☆16Updated last month
- Software Instrumentation Dynamically Enabled☆13Updated 2 months ago
- simple snapshot-style integration testing for commands☆71Updated 2 months ago