hku-systems/owl external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hku-systems/owl

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hku-systems/owl)

Close

hku-systems / owlView on GitHubMore

• External links
• Readme badge

☆13Mar 1, 2020Updated 6 years ago

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
• 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 9 months ago
• kmrov / racehound

  View on GitHub
  Data race detector for Linux kernel modules
  ☆30Jul 21, 2017Updated 8 years ago
• embedded-sec / BenchIoT

  View on GitHub
  Security benchmarks for the Internet of Things
  ☆22Nov 11, 2020Updated 5 years 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
• 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
• HexHive / datashield

  View on GitHub
  ☆17Jan 1, 2021Updated 5 years ago
• torms3 / DataProvider

  View on GitHub
  ☆11Jun 11, 2020Updated 5 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
• dracos / pohi

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

  View on GitHub
  ☆43Jul 6, 2023Updated 2 years ago
• vhernando / split_boot_img

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

  View on GitHub
  solana votalizer
  ☆11Oct 3, 2023Updated 2 years ago
• galdar496 / heatray

  View on GitHub
  OpenRL-based realtime path tracer
  ☆10Apr 15, 2023Updated 2 years ago
• marche147 / sandbox

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

  View on GitHub
  Go library for parsing MRT format data
  ☆12Mar 26, 2021Updated 4 years ago
• stephenbeckr / randomized-algorithm-class

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

  View on GitHub
  ☆10Sep 25, 2024Updated last year
• MCUSec / uEmu-real_world_firmware

  View on GitHub
  Real firmware fuzz-tested with uEmu
  ☆13Mar 22, 2023Updated 2 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…
  ☆40Updated this week
• PASAUCMerced / Sentinel

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

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

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

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

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

  View on GitHub
  Example of an ELF parser to learn about the ELF format
  ☆11Oct 6, 2024Updated last year
• saidone75 / talispam

  View on GitHub
  A software held to act as a charm to avert spam and bring good messages
  ☆10Mar 30, 2024Updated last year
• maxmousee / Stress-Detector

  View on GitHub
  Voice Stress Detector Framework and iOS app
  ☆13Jan 2, 2023Updated 3 years ago
• IoTSEstudy / IoTbugschallenges

  View on GitHub
  Replication Package of "IoT Bugs and Development Challenges" study
  ☆12Feb 20, 2021Updated 5 years ago
• sormy / radoneye-reader

  View on GitHub
  Ecosense RadonEye reader with MQTT and Home Assistant support
  ☆10Dec 21, 2023Updated 2 years ago
• choonkeat / hellocrud

  View on GitHub
  generate ORM, GraphQL backend and React JS frontend to CRUD against your database schema
  ☆10Jun 21, 2018Updated 7 years ago
• chromi / sce

  View on GitHub
  Some Congestion Experienced
  ☆12Apr 23, 2025Updated 10 months ago