A page-backed SQL database built with SWI-Prolog, featuring persistent B+Tree indexes, a bounded buffer pool, recovery, streaming imports, and a local web panel.
☆26Aug 13, 2026Updated 2 months ago
Alternatives and similar repositories for AsaDB
Users that are interested in AsaDB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- A major mode for interacting with MOOs.☆13Jun 1, 2021Updated 5 years ago
- 🏝️ A little web app to play a new hashiwokakero puzzle daily☆25Sep 3, 2026Updated last month
- A modern Argon2 implementation for Erlang☆11Apr 26, 2026Updated 5 months ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- 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.
- Open Network Computing / Sun RPC types and fast serialisation☆15Oct 13, 2026Updated last week
- ☆10Jul 12, 2021Updated 5 years ago
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- A list of programming languages implemented in Zig, for inspiration.☆27Oct 3, 2023Updated 3 years ago
- Rust bindings for SQLite’s lsm1 extension in stand-alone manner.☆26Apr 16, 2025Updated last year
- A repository of Scittle libraries☆12Sep 7, 2025Updated last year
- Tiny Forth implementation in Go☆22Oct 25, 2025Updated 11 months ago
- Spawn child processes in PureScript via the Node.js child_process API.☆14Oct 9, 2026Updated last week
- free and open source terminal agent harness 🤖☆30Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A compiler and run-time system to compile and run Curry programs as Go programs☆40Sep 15, 2026Updated last month
- An elegant Go coding agent, for more civilized times☆22Updated this week
- Lossy compression of CSS for fun and loss (or profit)☆34Jan 29, 2024Updated 2 years ago
- ☆12Feb 25, 2024Updated 2 years ago
- Mini Ebiten☆12Jan 9, 2025Updated last year
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated last year
- git clone that can clone in haskell☆14Oct 5, 2023Updated 3 years ago
- Allows a user to explore a databases tables visually☆13Oct 29, 2024Updated last year
- Todo App in Quarkus with Hotwire☆11Oct 13, 2026Updated last week
- 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.
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 9 months ago
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years ago
- Install OpenCV within R☆12Jul 14, 2016Updated 10 years ago
- Koans to learn rhine☆16Oct 13, 2026Updated last week
- Code and models used in Freecad tutorials☆11Mar 19, 2023Updated 3 years ago
- A program launcher for window managers written in rust☆12Apr 18, 2026Updated 6 months ago
- base for zig sdl projects☆15Dec 17, 2022Updated 3 years ago
- Playing with Elm and Polymer / Web Components☆11Mar 21, 2017Updated 9 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Export Medium articles into Hugo format☆12Apr 12, 2024Updated 2 years ago
- ☆14May 11, 2026Updated 5 months ago
- Opinionated package manager for haskell (WIP)☆16Jul 9, 2023Updated 3 years ago
- An enterprise-grade Laravel package that completely replaces Laravel's native authentication system with Supabase authentication. Built w…☆13Jul 24, 2025Updated last year
- a very (x 10) basic wasm console☆21Jul 16, 2024Updated 2 years ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆32Feb 8, 2023Updated 3 years ago
- Lean 4 formalization of Knuth's 'Claude's Cycles' paper☆16Aug 26, 2026Updated last month