vmware-labs / verified-betrfsView external linksLinks
A verified high-performance file system
☆38Jun 30, 2025Updated 7 months ago
Alternatives and similar repositories for verified-betrfs
Users that are interested in verified-betrfs are comparing it to the libraries listed below
Sorting:
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- ☆18Oct 15, 2024Updated last year
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- ☆22Updated this week
- ☆23Feb 2, 2026Updated 2 weeks ago
- TFTP, HTTP library, and CLI server for serving iPXE binaries☆28Dec 2, 2025Updated 2 months ago
- The Ukr-Books-ChatGPT-Plugin is a Python-based plugin designed to enhance the capabilities of OpenAI's ChatGPT model by integrating it wi…☆19Jul 21, 2023Updated 2 years ago
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Mar 9, 2025Updated 11 months ago
- ☆20Nov 29, 2023Updated 2 years ago
- The HPE Alletra 9000 and Primera and 3PAR PowerShell Toolkit supports cmdlets, which are wrappers around the native HPE Alletra 9000 or H…☆12Dec 21, 2022Updated 3 years ago
- Source Code - https://github.com/USStateDept/State-TalentMAP☆13Sep 12, 2023Updated 2 years ago
- Node.js SDK for IBM X-Force Exchange☆15Aug 20, 2018Updated 7 years ago
- Create VCF file from exported Telegram data☆11May 21, 2019Updated 6 years ago
- 🚀 RocketAPI PHP SDK for Instagram & Threads Private API 2025☆12Apr 22, 2025Updated 9 months ago
- ☆10Feb 19, 2023Updated 2 years ago
- Experimental kernel with built-in replication.☆163Jul 17, 2025Updated 6 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 3, 2026Updated last week
- A stable Java API for interfacing with and extending OpenNMS☆14Jan 27, 2026Updated 2 weeks ago
- Documentation website source code for Concord☆15Jan 28, 2026Updated 2 weeks ago
- Example code for the bpy Building Blocks Python package☆10Jul 31, 2022Updated 3 years ago
- Cloud Trust Protocol Server☆11Jan 5, 2016Updated 10 years ago
- Deprecated - This project repo is no longer being maintained.☆14Mar 15, 2023Updated 2 years ago
- A really dumb proof of concept that bundles the nightly branch builds of all of the *arr applications into a single container.☆15Updated this week
- How to install macOS Big Sur on an Unsupported Mac : Example: MacBook Pro Late 2011☆10Feb 27, 2021Updated 4 years ago
- Competitive Coding Project☆40Oct 1, 2020Updated 5 years ago
- ☆12Feb 16, 2017Updated 9 years ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 9 months ago
- Playwright add-on for ddev☆15Nov 14, 2025Updated 3 months ago
- Linux Foundation Certified Engineer (LFCE) learning materials☆12Mar 6, 2022Updated 3 years ago
- PoC List☆10Sep 4, 2022Updated 3 years ago
- Website for PlayCover☆12Updated this week
- Wireguard Key Generator, web-based, client-side, trustless☆13Feb 3, 2025Updated last year
- Flask app for connecting Munki and MicroMDM☆13Jun 17, 2022Updated 3 years ago
- Linux CLI tool to forward TCP connections from one network namespace to another network namespace☆14Nov 3, 2023Updated 2 years ago
- Python 2.7 Library for the BitPay API☆10Oct 31, 2019Updated 6 years ago
- A Kubernetes pod monitor for safely terminating pods with persistent volumes in case of node failures☆12Feb 2, 2026Updated 2 weeks ago
- The MSR Ironclad project builds provably secure and reliable systems.☆264Jun 3, 2023Updated 2 years ago
- Knife plugin for managing Chef Server Organizations☆21Jan 31, 2022Updated 4 years ago
- foculor Theme for Sublime Text 3☆11May 14, 2018Updated 7 years ago