Alternatives and similar repositories for compcert.old

Users that are interested in compcert.old are comparing it to the libraries listed below

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆35Updated 8 years ago
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆53Updated 7 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 11 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆133Updated 9 years ago
• rcoh / treelayout
  Demonstrating the importance of laying out data in memory.
  ☆47Updated 8 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 3 years ago
• ademakov / MainMemory
  Wannabe Main Memory Database and More
  ☆54Updated 5 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆178Updated 3 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆116Updated 8 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆98Updated 3 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆50Updated 3 weeks ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 6 years ago
• postgrespro / pg_tsdtm
  ☆31Updated 10 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• bshafiee / BFS
  Behrooz File System (BFS)
  ☆54Updated 10 years ago
• dubey / weaver
  A scalable, fast, consistent graph store
  ☆214Updated 9 years ago
• mirage / mirage-decks
  These are the MirageOS slide decks, written as a self-hosting unikernel
  ☆13Updated 8 years ago
• vrv / FAWN-KV
  A Distributed Key-Value Store for FAWN
  ☆77Updated 15 years ago
• facebookarchive / iterlib
  Iterator library.
  ☆80Updated 6 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• cruzdb / zlog
  A high-performance distributed shared-log for Ceph
  ☆115Updated 6 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆53Updated 7 years ago
• dankamongmen / libtorque
  A threaded, continuations-based I/O event library for manycore NUMA machines
  ☆76Updated 4 years ago
• pmwkaa / engine.so
  Tracking, Benchmarking and Sharing Information about an open source embedded data storage engines, internals, architectures, data storage…
  ☆181Updated 7 years ago
• scalien / scaliendb
  ScalienDB is a scalable, replicated datastore.
  ☆87Updated 12 years ago
• Unikernel-Systems / unikernel.org
  Community site for unikernel projects
  ☆59Updated 4 years ago
• skaphan / stmmap
  STM (Software Transactional Memory) implementation in C, based on memory-mapping.
  ☆61Updated 16 years ago
• apache / lucy
  Mirror of Apache Lucy
  ☆102Updated 7 years ago