secure-foundations / veribetrkv-osdi2020View external linksLinks
VeriBetrKV OSDI'20 artifact
☆13Sep 5, 2020Updated 5 years ago
Alternatives and similar repositories for veribetrkv-osdi2020
Users that are interested in veribetrkv-osdi2020 are comparing it to the libraries listed below
Sorting:
- ☆13Mar 1, 2020Updated 5 years ago
- ☆22Updated this week
- A memory allocator verified with Verus☆29Dec 22, 2025Updated last month
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 6 years ago
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- A verified high-performance file system☆38Jun 30, 2025Updated 7 months ago
- ☆34Jun 20, 2023Updated 2 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- Code repository for PostgreSQL Administration Cookbook 9.5/9.6 Edition, published by Packt☆11Jan 14, 2021Updated 5 years ago
- Network Block Device (NBD) server and client written in Rust☆12Dec 4, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Cron Jobs in Golang.☆11Jan 14, 2021Updated 5 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
- 📝📝📝Learning Machine Learning/Deep Learning☆10Oct 10, 2022Updated 3 years ago
- Server for github-readme-stats☆14Jan 26, 2023Updated 3 years ago
- Randomized algorithm class at CU☆15Jul 8, 2025Updated 7 months ago
- OpenRL-based realtime path tracer☆10Apr 15, 2023Updated 2 years ago
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆10Nov 15, 2021Updated 4 years ago
- 2020新年賀禮 LIHKG❤Github☆10Apr 6, 2021Updated 4 years ago
- Python package for visualCaptcha's backend service☆10May 31, 2019Updated 6 years ago
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 8 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Getting started with TypeScript and mocha☆10Jul 28, 2015Updated 10 years ago
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated last year
- Add a type for paths in Go.☆13Aug 12, 2021Updated 4 years ago
- Back in a Minute☆11Jul 19, 2019Updated 6 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Apr 8, 2019Updated 6 years ago
- Prometheus instrumentation library for Python applications (with UWSGI support)☆13Aug 24, 2023Updated 2 years ago
- Storage systems with verified correctness properties☆59Feb 6, 2026Updated last week
- ☆12Dec 23, 2025Updated last month
- ☆10Dec 19, 2025Updated last month
- PIDX☆14Jan 20, 2020Updated 6 years ago
- Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".☆10May 20, 2019Updated 6 years ago
- Mix C with other programming languages☆12Aug 15, 2021Updated 4 years ago
- Volume Manipulation Library☆17Jul 13, 2023Updated 2 years ago
- Randomly reordering Chinese words to avoid censorship☆11Jan 7, 2023Updated 3 years ago
- ☆11Aug 16, 2016Updated 9 years ago