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☆100Updated 11 months ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- MimIR is my Intermediate Representation☆70Updated this week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year
- Unison's source code☆108Updated last year
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆31Updated 11 months ago
- ☆10Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- Assembly super-optimization via constraint solving☆213Updated this week
- Search-based compiler for high-performance DSP programming☆67Updated 9 months ago
- Formally verified implementation of Alive in Lean☆36Updated 2 years ago
- Effect handlers in C++☆123Updated last year
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A standard for floating point accuracy benchmarks☆52Updated 4 months ago
- ☆23Updated 2 years ago
- embedding MLIR in LEAN☆47Updated last year
- Rutgers APL correctly rounded math library☆32Updated 4 years ago
- ☆69Updated this week
- An awesome list of e-graph resources☆199Updated last month
- GAOL is not Just Another Interval Arithmetic Library☆17Updated 2 years ago
- A Clang-based C++ Interoperability Library☆75Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆156Updated last week
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- ☆83Updated 9 months ago
- ☆9Updated last year
- Code generation tool to generate mathematical libraries☆56Updated 4 months ago
- ☆40Updated last year
- simple snapshot-style integration testing for commands☆71Updated 2 months ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆31Updated 11 years ago