Alternatives and similar repositories for owl

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

• secure-foundations / veribetrkv-osdi2020

  View on GitHub
  VeriBetrKV OSDI'20 artifact
  ☆13Sep 5, 2020Updated 5 years ago
• ruigulala / ConAnalysis

  View on GitHub
  Concurrency Bug Vulnerability Analysis
  ☆12Sep 4, 2017Updated 8 years ago
• AlessioNetti / fault_injector

  View on GitHub
  FINJ is a simple tool for the injection and monitoring of faults in HPC systems, written in Python.
  ☆16Sep 1, 2018Updated 7 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• danghvu / cudaSpmv

  View on GitHub
  CUDA Sparse-Matrix Vector Multiplication, using Sliced Coordinate format
  ☆22Jun 8, 2018Updated 7 years ago
• HexHive / CFIXX

  View on GitHub
  ☆29Jul 4, 2018Updated 7 years ago
• embedded-sec / BenchIoT

  View on GitHub
  Security benchmarks for the Internet of Things
  ☆22Nov 11, 2020Updated 5 years ago
• kmrov / racehound

  View on GitHub
  Data race detector for Linux kernel modules
  ☆30Jul 21, 2017Updated 8 years ago
• rssys / snowboard

  View on GitHub
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆27May 28, 2025Updated 8 months ago
• kboom / iga-adi-sm

  View on GitHub
  The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis
  ☆10Jan 26, 2019Updated 7 years ago
• thu-pacman / Spindle

  View on GitHub
  ☆34Jun 20, 2023Updated 2 years ago
• torms3 / DataProvider

  View on GitHub
  ☆11Jun 11, 2020Updated 5 years ago
• HexHive / datashield

  View on GitHub
  ☆17Jan 1, 2021Updated 5 years ago
• dgist-datalab / trace_generator

  View on GitHub
  ☆10Jan 11, 2024Updated 2 years ago
• nets-cs-pub-ro / Symnet

  View on GitHub
  ☆10May 30, 2017Updated 8 years ago
• darchr / Keystone-experiments

  View on GitHub
  ☆11Jun 11, 2021Updated 4 years ago
• sormy / radoneye-reader

  View on GitHub
  Ecosense RadonEye reader with MQTT and Home Assistant support
  ☆10Dec 21, 2023Updated 2 years ago
• stephenbeckr / randomized-algorithm-class

  View on GitHub
  Randomized algorithm class at CU
  ☆15Jul 8, 2025Updated 7 months ago
• chromi / sce

  View on GitHub
  Some Congestion Experienced
  ☆12Apr 23, 2025Updated 9 months ago
• schollz / git

  View on GitHub
  Force `go get` to make shallow clone and pulls
  ☆11May 3, 2018Updated 7 years ago
• PASAUCMerced / Sentinel

  View on GitHub
  Efficient-Tensor-Management-on-HM-for-Deep-Learning
  ☆10Nov 15, 2021Updated 4 years ago
• MCUSec / uEmu-real_world_firmware

  View on GitHub
  Real firmware fuzz-tested with uEmu
  ☆13Mar 22, 2023Updated 2 years ago
• RiftValleySoftware / RVS_BlueThoth

  View on GitHub
  A Native Swift Core Bluetooth LE Central (Client) Abstraction Driver
  ☆14Nov 12, 2025Updated 3 months ago
• maxmousee / Stress-Detector

  View on GitHub
  Voice Stress Detector Framework and iOS app
  ☆13Jan 2, 2023Updated 3 years ago
• cool-japan / oxiz

  View on GitHub
  OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…
  ☆35Feb 6, 2026Updated last week
• galdar496 / heatray

  View on GitHub
  OpenRL-based realtime path tracer
  ☆10Apr 15, 2023Updated 2 years ago
• microsoft / weak-isolation-mock-db

  View on GitHub
  In-memory key-value store for testing applications against weak behaviors of a database.
  ☆11Feb 4, 2021Updated 5 years ago
• wangxyustc / nogo

  View on GitHub
  不围棋c语言实现，大一大作业，关键算法是判断围棋中的气
  ☆10Aug 14, 2020Updated 5 years ago
• mvines / votalizer

  View on GitHub
  solana votalizer
  ☆11Oct 3, 2023Updated 2 years ago
• eth-sri / learch

  View on GitHub
  ☆43Jul 6, 2023Updated 2 years ago
• IoTSEstudy / IoTbugschallenges

  View on GitHub
  Replication Package of "IoT Bugs and Development Challenges" study
  ☆12Feb 20, 2021Updated 4 years ago
• Inception-framework / translator

  View on GitHub
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Oct 20, 2022Updated 3 years ago
• dracos / pohi

  View on GitHub
  Searchable transcripts of the Post Office Horizon IT Inquiry hearings
  ☆11Jul 9, 2025Updated 7 months ago
• gtcasl / manifold

  View on GitHub
  A Parallel Simulation Framework For Multicore Systems
  ☆10May 20, 2017Updated 8 years ago
• CoCoAbstractInterpretation / CoCo

  View on GitHub
  ☆10Sep 25, 2024Updated last year
• GTkernel / coeus-sim

  View on GitHub
  ☆11Mar 22, 2022Updated 3 years ago
• marche147 / sandbox

  View on GitHub
  Improvised json-based configurable Windows sandbox
  ☆11Sep 29, 2020Updated 5 years ago
• wangjiangyong / learnML

  View on GitHub
  📝📝📝Learning Machine Learning/Deep Learning
  ☆10Oct 10, 2022Updated 3 years ago
• vhernando / split_boot_img

  View on GitHub
  Python script to split Android boot.img files.
  ☆12Nov 11, 2012Updated 13 years ago