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:
- User-Space Block Device (USBD) Framework (written in Go)☆31Mar 29, 2022Updated 4 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- My notes to successfully build an Linux From Scratch system for Linux/Unix Systems course☆10Apr 22, 2014Updated 12 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- CSI driver for EdgeFS☆11Oct 23, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple C web service and REST framework☆16Aug 14, 2016Updated 9 years ago
- Rust libublk☆53May 26, 2026Updated 2 weeks ago
- NVMe over Fabrics user space initiator library.☆40Sep 2, 2024Updated last year
- Flagarize your Go struct to initialize your even complex struct from flags! 🚀☆13Aug 8, 2021Updated 4 years ago
- Computer Systems: A Programmer's Perspective☆15Mar 2, 2022Updated 4 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- OpenZFS on Linux and FreeBSD☆27Jun 1, 2026Updated 2 weeks ago
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 11 years ago
- Preparing to develop for the Linux Kernel☆17Jun 30, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- C++ RDMA Wrappers☆10Apr 15, 2017Updated 9 years ago
- Linux UIO Library in Rust☆21Jun 7, 2026Updated last week
- Snapshot script for Ceph RBD and Samba vfs shadow_copy2☆15Feb 3, 2017Updated 9 years ago
- mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems☆13Nov 30, 2022Updated 3 years ago
- An implementation of Raft in Rust.☆40Dec 22, 2022Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 4 years ago
- linux container runtime built with zig☆22Feb 15, 2025Updated last year
- WORM compliant file system☆13Sep 2, 2017Updated 8 years ago
- Android app for seamless clipboard sharing between Android and Windows over Bluetooth☆27Apr 6, 2026Updated 2 months 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.
- ☆16Jan 23, 2026Updated 4 months ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- An abandoned game dev toolset.☆10Sep 18, 2021Updated 4 years ago
- A basic log-structured flash datastore☆20Oct 3, 2022Updated 3 years ago
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- userspace /proc filesystem☆12Jul 5, 2021Updated 4 years ago
- VSCode Plugin for Gobra☆11Updated this week
- DNS DDoS Defence and Countermeasure☆14Feb 17, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Latency collector as an embedded library for C++☆13May 26, 2019Updated 7 years ago
- Package etherconn is a golang pkg that allow user to send/receive Ethernet payload (like IP pkt) or UDP packet ,with custom Ethernet enca…☆21Oct 14, 2024Updated last year
- Convert ZFS send streams to Ceph import streams☆10Apr 23, 2019Updated 7 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- Source and scripts for building the MOFO Linux distribution.☆12Feb 16, 2019Updated 7 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆38Apr 7, 2026Updated 2 months ago
- Verifier for effectful, higher-order programs☆19Mar 10, 2026Updated 3 months ago