MySQLfs is Linux userspace filesystem which stores data in a MySQL database. It uses FUSE to interface with the kernel.
☆57Mar 9, 2024Updated 2 years ago
Alternatives and similar repositories for mysqlfs
Users that are interested in mysqlfs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- ☆12Aug 24, 2014Updated 12 years ago
- Strip 64bit elf binaries aggressively☆13Aug 5, 2021Updated 5 years ago
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 2015Updated 11 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Jan 16, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- ☆25Aug 30, 2018Updated 8 years ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- Library wrapper and system-level tracing utilities☆47Feb 22, 2017Updated 9 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Public test data for ranked choice voting election software☆18Jan 12, 2015Updated 11 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rust bindings to the KVM interface☆17Jun 20, 2019Updated 7 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- ☆20Aug 11, 2020Updated 6 years ago
- A weekly update about GitHub!☆15Apr 21, 2009Updated 17 years ago
- ☆11Feb 22, 2015Updated 11 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 4 years ago
- a library that implements a POSIX style filesystem on top of an SQLite database☆643Oct 31, 2023Updated 2 years ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Generates HTML pages to play ascii movies .. yeah .. I got really bored.☆28Jul 8, 2023Updated 3 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Gradle plugin based upon maven-modernizer-plugin☆13Jun 9, 2020Updated 6 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 3 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 11 years ago
- Rust crate providing Linux (>= 5.3) PID file descriptor support☆27Aug 30, 2023Updated 3 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.
- Fast edit-compile-test cycles for Linux+OpenZFS development☆36Aug 17, 2026Updated 2 weeks ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Dec 11, 2023Updated 2 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 7 years ago
- rwlock with writer priority and optimistic reads☆32Feb 1, 2015Updated 11 years ago
- Single-reader, multi-writer & single-reader, multi-verifier; broadcasts reads to multiple writeable destinations in parallel☆26Aug 1, 2018Updated 8 years ago
- The Haskell File System: A file system implementation in Haskell☆37May 9, 2015Updated 11 years ago
- A Lua library for BERT serliaization☆15Jul 4, 2017Updated 9 years ago