Alternatives and similar repositories for falcon:

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

• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• privbox / devenv
  ☆16Updated 2 years ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆195Updated 2 years ago
• memsql / tpcc-mysql
  Fork of github.com/Percona-Lab/tpcc-mysql
  ☆9Updated last year
• ix-project / dune
  ☆31Updated 6 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• smherwig / phoenix
  Intel SGX microkernel based on Graphene-SGX
  ☆9Updated 4 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆47Updated 3 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• TheNetAdmin / LENS
  [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems
  ☆14Updated 6 months ago
• oracle-samples / linux-blog-sample-code
  ☆44Updated 2 years ago
• hku-systems / owl
  ☆13Updated 4 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• iovisor / iomodules
  IOModule manager and plugins
  ☆38Updated 7 years ago
• epfl-dcsl / hovercraft
  ☆14Updated 4 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆58Updated 9 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 2 years ago
• euspectre / kernel-strider
  Main repository for KernelStrider project
  ☆24Updated 7 years ago
• xrp-project / BPF-KV
  ☆24Updated last year
• epfl-dcsl / lancet-tool
  ☆28Updated 5 months ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• hku-systems / apus
  An RDMA-powered, fast, and scalable Paxos protocol
  ☆25Updated 5 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 6 months ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• endplay / omniplay
  Arnold source code
  ☆46Updated 6 years ago