An extremely minimal DB that can be used for educational purposes and rapid prototyping
☆51Aug 13, 2024Updated last year
Alternatives and similar repositories for miniDB
Users that are interested in miniDB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🎓 The best way to track your academic progress!☆96Sep 6, 2024Updated last year
- A fairly intuitive & powerful framework that enables you to collect & save articles and news from all over the web.☆11Sep 14, 2024Updated last year
- RF powermeter with USB-interface☆14Dec 30, 2022Updated 3 years ago
- VanillaComm is a collection of reliable group communication primitives (e.g., total-ordering) that can benefit the distributed database s…☆12Dec 19, 2025Updated 5 months ago
- openEMS High-level layer☆19Mar 6, 2025Updated last year
- 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.
- Use this repository to report issues with packages or request new packages☆14Apr 26, 2024Updated 2 years ago
- Extensible SQL Lexer and Parser for Rust☆12Dec 22, 2021Updated 4 years ago
- Reliable Log Streamer☆13Oct 18, 2018Updated 7 years ago
- Systems Programming UIUC FA 2016☆13Feb 24, 2017Updated 9 years ago
- Account manager for league of legends with the ability to automatically sign you into your accounts with a overview of your solo/flex que…☆15Dec 9, 2023Updated 2 years ago
- Pixel-perfect replica of Windows 10, simulated in the browser with Vanilla JS.☆17Dec 16, 2017Updated 8 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- A GUI for measuring properties of Fast Radio Bursts☆21Oct 27, 2025Updated 7 months ago
- Python Library Implementation of DeepSeti- Algorithm designed to detect anomalies in Radio Seti. The library facilitates the custom archi…☆20Mar 30, 2021Updated 5 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.
- Meow-ster of cat-alogs 🐱 !☆28Mar 2, 2022Updated 4 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated last month
- MIT 6.824☆12Feb 20, 2017Updated 9 years ago
- Query processing for an extremely simple, in-memory, columnar database using Apache Arrow to represent tables☆24Oct 13, 2021Updated 4 years ago
- Distributed File System server implemented using RAFT Algorithm.☆16Jul 12, 2019Updated 6 years ago
- Complete antenna simulations from rapid design in FreeCAD and simulate using openEMS☆38Nov 25, 2020Updated 5 years ago
- Simple map-reduce implementation in Golang☆28Sep 3, 2014Updated 11 years ago
- Real-time network uptime monitor. Allowed TCP, ICMP and Minecraft protocol.☆10May 6, 2021Updated 5 years ago
- Pure-Python interface for WIZNET 5k Ethernet modules☆17Apr 23, 2026Updated last month
- 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.
- A Simple Minecraft Server Website☆12Jan 25, 2020Updated 6 years ago
- RTL-SDR-based radio astronomy observation software using Python.☆33Jan 25, 2024Updated 2 years ago
- The official LLVM OCaml binding but built using dune☆25Feb 8, 2025Updated last year
- C5 Replicator, a Raft protocol-based replication library☆35Sep 3, 2015Updated 10 years ago
- Spellcast Solver 🌹☆20Mar 23, 2025Updated last year
- This project is aimed to create a trustClient(use TrustZone on ARM) and a server program to verify whether a executable program on Raspbe…☆17Mar 15, 2024Updated 2 years ago
- WSGI library for simple web servers☆18Apr 23, 2026Updated last month
- Develop increasingly sophisticated databases from scratch in Java☆29May 20, 2022Updated 4 years ago
- A web server that runs inside Dwarf Fortress to show you world history☆20Oct 10, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- ☆18Oct 10, 2022Updated 3 years ago
- Cameras plugin for Spigot. Adds craft-able cameras to your Minecraft server and the ability to take pictures.☆13Apr 19, 2021Updated 5 years ago
- Create a custom unattended Win 11 Install with more privacy☆38Jun 14, 2024Updated last year
- DFHack plugin for visualizing Dwarf Fortress structures☆21May 2, 2020Updated 6 years ago
- ☆23Jun 7, 2021Updated 5 years ago
- Attempts to find the best word in the discord activity Spellcast☆20Sep 6, 2023Updated 2 years ago