Alternatives and similar repositories for reactor-c

Users that are interested in reactor-c are comparing it to the libraries listed below

• lf-lang / reactor-cpp
  A C++ framework for writing reactor programs
  ☆25Updated 2 weeks ago
• lf-lang / playground-lingua-franca
  Try Lingua Franca now!
  ☆20Updated last week
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆32Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆37Updated this week
• xronos-inc / xronos
  Reactors for scientific computing, machine learning, robotics, mechatronics and automation.
  ☆12Updated 3 weeks ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆32Updated last month
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated 3 weeks ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• J-MR-T / MoNaCo
  An MLIR to Native Code generator
  ☆14Updated last year
• waywardgeek / datadraw
  ☆41Updated 2 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 9 months ago
• rochus-keller / Are-we-fast-yet
  Implementations of the Are-we-fast-yet benchmark suite in Oberon+, C++, C, Pascal, Micron and Luon
  ☆20Updated last month
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 4 months ago
• ychen306 / vegen
  ☆29Updated 2 years ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆260Updated this week
• tacle / tacle-bench
  TACLe Benchmarks
  ☆46Updated 7 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• sifiveinc / wake
  The SiFive wake build tool
  ☆90Updated this week
• cdkersey / chdl
  A C++ Hardware Description Language and Toolchain
  ☆23Updated last year
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆143Updated 2 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated last week
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆48Updated 2 weeks ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆18Updated 4 years ago
• GregAC / rrs
  Rust RISC-V Simulator
  ☆33Updated last year
• qualcomm / eld
  Embedded Linker
  ☆177Updated last week
• ArchC / ArchC
  A powerful and modern open-source architecture description language.
  ☆42Updated 7 years ago
• Smattr / rumur
  yet another model checker
  ☆20Updated last month
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago