Alternatives and similar repositories for onics

Users that are interested in onics are comparing it to the libraries listed below

• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• sharklinux / shark
  We're building a better performance management system
  ☆79Updated 9 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆67Updated 12 years ago
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 2 years ago
• selbyk / pagesim
  Simulation of common page replacement algorithms used by operating systems to manage memory usage.
  ☆53Updated 10 years ago
• joe-lawrence / linux-inject
  Proof of concept use of linux-inject and proces patching
  ☆38Updated 8 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 5 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆130Updated 8 years ago
• efficient / cuckooswitch
  A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact a…
  ☆36Updated 9 years ago
• ademakov / MainMemory
  Wannabe Main Memory Database and More
  ☆53Updated 4 years ago
• bnoordhuis / strace
  http://sourceforge.net/projects/strace/
  ☆25Updated 10 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 6 years ago
• vmprobe / vmprobe
  The control panel for your cloud's memory
  ☆36Updated 9 years ago
• RaphaelJ / rusty
  A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.
  ☆127Updated 9 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆115Updated 2 months ago
• jibi / eth
  extreme throughput http daemon
  ☆61Updated 10 years ago
• bshafiee / BFS
  Behrooz File System (BFS)
  ☆54Updated 9 years ago
• ShimProfiler / SHIM
  ☆53Updated 10 years ago
• google / navc
  C code indexer using language semantic from clang
  ☆61Updated 6 years ago