deepsea-inria / heartbeatLinks
Prototype implementation of Heartbeat Scheduling, in C++
☆19Updated 3 years ago
Alternatives and similar repositories for heartbeat
Users that are interested in heartbeat are comparing it to the libraries listed below
Sorting:
- Lightweight framework for easy and efficient code generation☆102Updated last year
- Online demo without installing at - https://buildit.so/tryit☆179Updated last month
- Unison's source code☆108Updated last year
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- MimIR is my Intermediate Representation☆71Updated this week
- ☆17Updated 2 years ago
- ☆68Updated last week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year
- Effect handlers in C++☆124Updated last year
- simple snapshot-style integration testing for commands☆71Updated 2 months ago
- ☆83Updated 10 months ago
- microsat☆138Updated 3 years ago
- Assembly super-optimization via constraint solving☆216Updated this week
- ☆23Updated 2 years ago
- Search-based compiler for high-performance DSP programming☆67Updated 9 months ago
- embedding MLIR in LEAN☆47Updated last year
- An awesome list of e-graph resources☆217Updated this week
- An experimental optimizing compiler for Bril☆72Updated 3 weeks ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- Formally verified implementation of Alive in Lean☆36Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- C++ library for semigroups and monoids☆62Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆157Updated 3 weeks ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- ☆10Updated 4 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆31Updated 11 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- The implementation of an SMTLib dialect for xDSL☆16Updated last week
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- Python bindings for egg☆49Updated 2 years ago