hku-systems / owlView external linksLinks
☆13Mar 1, 2020Updated 5 years ago
Alternatives and similar repositories for owl
Users that are interested in owl are comparing it to the libraries listed below
Sorting:
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- Concurrency Bug Vulnerability Analysis☆12Sep 4, 2017Updated 8 years ago
- FINJ is a simple tool for the injection and monitoring of faults in HPC systems, written in Python.☆16Sep 1, 2018Updated 7 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- CUDA Sparse-Matrix Vector Multiplication, using Sliced Coordinate format☆22Jun 8, 2018Updated 7 years ago
- ☆29Jul 4, 2018Updated 7 years ago
- Security benchmarks for the Internet of Things☆22Nov 11, 2020Updated 5 years ago
- Data race detector for Linux kernel modules☆30Jul 21, 2017Updated 8 years ago
- 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
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- ☆34Jun 20, 2023Updated 2 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- ☆10Jan 11, 2024Updated 2 years ago
- ☆10May 30, 2017Updated 8 years ago
- ☆11Jun 11, 2021Updated 4 years ago
- Ecosense RadonEye reader with MQTT and Home Assistant support☆10Dec 21, 2023Updated 2 years ago
- Randomized algorithm class at CU☆15Jul 8, 2025Updated 7 months ago
- Some Congestion Experienced☆12Apr 23, 2025Updated 9 months ago
- Force `go get` to make shallow clone and pulls☆11May 3, 2018Updated 7 years ago
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆10Nov 15, 2021Updated 4 years ago
- Real firmware fuzz-tested with uEmu☆13Mar 22, 2023Updated 2 years ago
- A Native Swift Core Bluetooth LE Central (Client) Abstraction Driver☆14Nov 12, 2025Updated 3 months ago
- Voice Stress Detector Framework and iOS app☆13Jan 2, 2023Updated 3 years ago
- 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
- OpenRL-based realtime path tracer☆10Apr 15, 2023Updated 2 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- 不围棋c语言实现,大一大作业,关键算法是判断围棋中的气☆10Aug 14, 2020Updated 5 years ago
- solana votalizer☆11Oct 3, 2023Updated 2 years ago
- ☆43Jul 6, 2023Updated 2 years ago
- Replication Package of "IoT Bugs and Development Challenges" study☆12Feb 20, 2021Updated 4 years ago
- 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
- Searchable transcripts of the Post Office Horizon IT Inquiry hearings☆11Jul 9, 2025Updated 7 months ago
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 8 years ago
- ☆10Sep 25, 2024Updated last year
- ☆11Mar 22, 2022Updated 3 years ago
- Improvised json-based configurable Windows sandbox☆11Sep 29, 2020Updated 5 years ago
- 📝📝📝Learning Machine Learning/Deep Learning☆10Oct 10, 2022Updated 3 years ago
- Python script to split Android boot.img files.☆12Nov 11, 2012Updated 13 years ago