3 results found Sort:

golemcloud
golem golemcloud
78
587
apache-2.0
12
Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.
wasi wasm serverless wasm-component component-model fault-tolerance high-reliability durable-computing durable-execution distributed-systems
Created 2023-11-24
1,774 commits to main branch, last one 2 days ago
Ravenbrook
mps Ravenbrook
77
569
other
31
The Memory Pool System
c portable high-reliability garbage-collector memory-management
Created 2013-05-19
7,826 commits to master branch, last one 24 days ago
pavel-kirienko
o1heap pavel-kirienko
31
256
mit
14
Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further...
heap misra malloc memory avionics embedded realtime allocator real-time worst-case constant-time hard-realtime hard-real-time high-integrity safety-critical embedded-systems high-reliability memory-allocator memory-management safety-critical-systems
Created 2020-01-22
81 commits to master branch, last one 8 months ago