A framework for implementing Block Devices in User Space
☆35Jan 10, 2022Updated 4 years ago
Alternatives and similar repositories for bdus
Users that are interested in bdus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- My notes to successfully build an Linux From Scratch system for Linux/Unix Systems course☆10Apr 22, 2014Updated 12 years ago
- User-Space Block Device (USBD) Framework (written in Go)☆31Mar 29, 2022Updated 4 years ago
- This repository contains the slides of my talks.☆15Jun 26, 2026Updated 2 months ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automated data race detection from a distributed trace via SMT constraint solving☆17Jan 4, 2022Updated 4 years ago
- CSI driver for EdgeFS☆11Oct 23, 2019Updated 6 years ago
- NVMe over Fabrics user space initiator library.☆40Sep 2, 2024Updated 2 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 years ago
- C++ RDMA Wrappers☆10Apr 15, 2017Updated 9 years ago
- Linux UIO Library in Rust☆22Jun 7, 2026Updated 2 months ago
- mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems☆13Nov 30, 2022Updated 3 years ago
- linux container runtime built with zig☆23Feb 15, 2025Updated last year
- Library and tools to access the GUID Partition Table (GPT) volume system format☆11Jul 31, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust libublk☆59Updated this week
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- A block device in user space for Linux in Golang☆56Oct 1, 2017Updated 8 years ago
- Meta repo for Buckaroo package requests ✨☆10Feb 1, 2019Updated 7 years ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- A basic log-structured flash datastore☆20Oct 3, 2022Updated 3 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- userspace /proc filesystem☆13Jul 5, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust based Unix like OS, written by AI, guided by Humans.☆15Dec 8, 2025Updated 8 months ago
- Latency collector as an embedded library for C++☆13May 26, 2019Updated 7 years ago
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Updated this week
- VSCode Plugin for Gobra☆11Updated this week
- ESFS is a FUSE-based filesystem that supports snapshots (C)☆14Dec 29, 2014Updated 11 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Mar 15, 2018Updated 8 years ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 2 months ago
- Scalable reliable delivery protocol for Lasp.☆22Oct 13, 2021Updated 4 years ago
- LeetCode sources☆13Sep 1, 2013Updated 13 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The code provides an example C language based implementation of the idea proposed in the paper "SS-CDC: a two-stage parallel content-defi…☆13Sep 10, 2019Updated 6 years ago
- Server Wide Clocks for Distributed Eventually Consistent Systems☆48Nov 22, 2016Updated 9 years ago
- A small collection of AWS utilities, packaged as a single standalone binary.☆13Aug 23, 2023Updated 3 years ago
- QStack，a high-concurrency-and-low-latency user-level TCP stack for multicore systems, which can handle TCP concurrrent connection in 10 m…☆22Jul 27, 2023Updated 3 years ago
- CoRM: Compactable Remote Memory over RDMA☆20Jun 18, 2021Updated 5 years ago
- Git mirror of ImageStack☆11Aug 15, 2012Updated 14 years ago
- ☆12Nov 25, 2016Updated 9 years ago