Alternatives

Products that do what GDBS PRO does

Computation you can verify. Nothing uploaded, nothing stored

1
Supernova▲330
All your data in Claude and Codex
16d ago · supernova.ai
2
bit.io▲130
All your data in one place
2021
3
ZeroDB▲119
An open-source, end-to-end encrypted database protocol
2015
4GI
Godb is a simple Go ORM for PostgreSQL, MySQL, SQLite and SQL Server▲205
2016 · github.com
5
ChartDB v2▲229
Database diagrams editor for teams
2025
6
dbdiagram.io▲181
Free database diagrams designer for analysts & developers 🛠
2018
7FV
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code▲115
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation. This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of…
Jul 2026 · github.com
8
Infinite▲74
OS runtime unifying GA4, PostHog, + Stripe into a local db
Jun 2026 · infinite.fast
9DG
Dbdot – Golang tool to help generate Postgres schema diagrams▲119
2019 · github.com
10AS
A strongly-typed document DB that runs on any transactional KV store▲113
2021 · github.com
11
DbVisualizer▲108
The universal database tool
2022
12PC
PgRebase, codebase management for Postgres▲66
2016 · github.com
13DL
Database Labs – Postgres as a Service▲46
2014 · databaselabs.io
14
nCompass AI Assistant▲88
Enabling everyone to write GPU kernels
Mar 2026
15
BankStatementLab▲82
Turn any bank statement PDF into Excel, CSV or JSON with AI
May 2026
16AU
A utility for running exhaustiveness checks on “sum types” in Go▲75
2017 · github.com
17AP
A pure reference counting GC in Go▲57
2020 · github.com
18
Guepard Platform▲56
Instant Databases with Git-like features
2025
19
ComputeLedger▲7
Cryptographically signed compute-usage receipts
18d ago · github.com
20CL
CodeQL-Like Analyzer for Go▲39
2020 · github.com
21GA
GEDB – A pure-Go embedded database▲9
Hello HN! These last few months I've been working on my first open source project: an embedded database written in pure-go. That took me some months, as I had to learn how to deal with such large packages. Until then, all packages I had made were quite small an did not require much. I usually did not have to worry about things like allocation optimization and instance pools until This project. It started when I wanted to make a port of a tool to a TUI environment. I'm actually used to working with TUIs in golang, so that was my language of choice. The tool I wanted to port is written in…
Feb 2026
22AH
AI harness for C/C++ with GDB, sanitizers, perf and compile tools▲5
hey guys, i wanted to show one of my side projects. The idea is a coding harness (independent of models) natively designed for C/C++ developer workflows. I'm a C++ dev and do not find claude code work well with C++ toolchain like gdb and perf. The current version has integrations for gdb, clang-tidy, cppcheck, sanitizers, perf, benchmarking, compile DB navigation, Godbolt, symbolization, binary inspection, and decompilation. It supports Anthropic, OpenAI, Gemini, and self-hosted models. There are editor workflows for VS Code, CLion, emacs, neovim, and cursor.
Jul 2026 · byteask.ai
23
Prove your code produced your claims without making reviewers rerun it▲12
K-Veritas CLI. Contribute to 27-GROUP/kveritas-go development by creating an account on GitHub.
6d ago · github.com
24TS
Type-safe Go database client for Postgres, MySQL and SQLite▲12
2020 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →