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 6 years ago
- ☆22Updated this week
- A memory allocator verified with Verus☆33Feb 18, 2026Updated 2 weeks ago
- 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
- ☆34Jun 20, 2023Updated 2 years ago
- A verified high-performance file system☆38Jun 30, 2025Updated 8 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- ☆11Jun 11, 2020Updated 5 years ago
- 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
- Server for github-readme-stats☆14Jan 26, 2023Updated 3 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Randomized algorithm class at CU☆15Jul 8, 2025Updated 8 months ago
- Getting started with TypeScript and mocha☆10Jul 28, 2015Updated 10 years ago
- Network Block Device (NBD) server and client written in Rust☆12Dec 4, 2024Updated last year
- OpenRL-based realtime path tracer☆10Apr 15, 2023Updated 2 years ago
- Cron Jobs in Golang.☆11Jan 14, 2021Updated 5 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated last year
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 8 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆40Feb 27, 2026Updated last week
- Efficient-Tensor-Management-on-HM-for-Deep-Learning☆10Nov 15, 2021Updated 4 years ago
- Python package for visualCaptcha's backend service☆10May 31, 2019Updated 6 years ago
- 📝📝📝Learning Machine Learning/Deep Learning☆10Oct 10, 2022Updated 3 years ago
- 2020新年賀禮 LIHKG❤Github☆10Apr 6, 2021Updated 4 years ago
- Add a type for paths in Go.☆13Aug 12, 2021Updated 4 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Apr 8, 2019Updated 6 years ago
- ☆12Dec 23, 2025Updated 2 months ago
- reproducible binaries with the go module proxy☆17Feb 22, 2026Updated 2 weeks ago
- Prometheus instrumentation library for Python applications (with UWSGI support)☆13Aug 24, 2023Updated 2 years ago
- Discrete Fourier Transform in OpenCV and JavaFX☆12Feb 21, 2021Updated 5 years ago
- Scopes Manager IntelliJ Plugin☆12Feb 27, 2026Updated last week
- Shebang line equivalent for Go☆12Jul 18, 2023Updated 2 years ago
- Web frontend for Myria☆12Sep 30, 2020Updated 5 years ago
- An x86(_64) spinlock☆15Jan 14, 2015Updated 11 years ago
- Randomly reordering Chinese words to avoid censorship☆11Jan 7, 2023Updated 3 years ago
- A HTTPS/SOCKS4/SOCKS5 tunnel for AsyncIO.☆21May 28, 2015Updated 10 years ago
- Mix C with other programming languages☆12Aug 15, 2021Updated 4 years ago