Dependently-typed FormDB Query Language
-
Updated
Jan 22, 2026 - Lean
#
formdb
Here are 8 public repositories matching this topic...
Proof-carrying database debugger for FormDB
-
Updated
Jan 22, 2026 - Scheme
OLAP analytics layer for FormBD
-
Updated
Jan 22, 2026 - Julia
Geospatial extension for FormBD
-
Updated
Jan 22, 2026 - Rust
Zero-friction GUI for FormBD with FBQLdt
-
Updated
Jan 22, 2026 - ReScript
Open-source Airtable alternative with provenance tracking
-
Updated
Jan 22, 2026 - ReScript
Narrative-first reversible audit-grade database core
infrastructure performance database reliability narrative databases audit operations reversible data-management palimpsest hyperpolymath databases-and-related formdb
-
Updated
Jan 22, 2026 - ReScript
BEAM (Erlang/Gleam) bindings for FormDB
-
Updated
Jan 22, 2026 - Zig
Improve this page
Add a description, image, and links to the formdb topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formdb topic, visit your repo's landing page and select "manage topics."