|
17 | 17 | 8. **Error-Lang** - `/var/mnt/eclipse/repos/error-lang` ⚠️ 45% |
18 | 18 | 9. **Oblibeny** - `/var/mnt/eclipse/repos/oblibeny` ⚠️ 20% |
19 | 19 |
|
20 | | -### Database Query Languages (2) |
| 20 | +### Database Query Languages (3) |
21 | 21 |
|
22 | 22 | 10. **VQL** (Verification Query Language) - `/var/mnt/eclipse/repos/verisimdb/src/vql/` ⚠️ ~40% |
23 | 23 | - Part of VeriSimDB multimodal database |
24 | 24 | - ReScript implementation |
25 | 25 | - Parser, AST, Error handling exist |
26 | 26 | - Query language for 6 modalities (Graph, Vector, Tensor, Semantic, Document, Temporal) |
27 | 27 |
|
28 | | -11. **FBQL-DT** (FormDB Query Language - Dependent Types) - `/var/mnt/eclipse/repos/fbql-dt/` ⚠️ ~50% |
| 28 | +11. **KQL** (Knot Query Language) - `/var/mnt/eclipse/repos/quandledb/` (in development) |
| 29 | + - Query language for QuandleDB knot-theory database |
| 30 | + - Wraps Skein.jl engine (Julia) |
| 31 | + - Topological queries: crossing number, writhe, genus, Jones polynomial |
| 32 | + |
| 33 | +12. **FBQL-DT** (FormDB Query Language - Dependent Types) - `/var/mnt/eclipse/repos/fbql-dt/` ⚠️ ~50% |
29 | 34 | - Lean 4 implementation |
30 | 35 | - Dependent types for compile-time DB constraint verification |
31 | 36 | - Zig FFI bridge to Forth core |
@@ -264,6 +269,19 @@ program competition_2025 { |
264 | 269 |
|
265 | 270 | --- |
266 | 271 |
|
| 272 | +#### KQL (Knot Query Language) |
| 273 | +**Location:** `quandledb/` (in development) |
| 274 | +**Tech:** Julia (server) + ReScript (frontend) |
| 275 | +**Purpose:** Query language for QuandleDB — a knot-theory database built on Skein.jl |
| 276 | +**Status:** In development |
| 277 | + |
| 278 | +<!-- KQL is the planned query language for QuandleDB, a web application wrapping |
| 279 | + the Skein.jl knot database engine. QuandleDB provides HTTP API + web UI for |
| 280 | + querying knots by invariants (crossing number, writhe, genus, Jones polynomial). |
| 281 | + KQL will add a dedicated query DSL for topological queries. --> |
| 282 | + |
| 283 | +--- |
| 284 | + |
267 | 285 | #### FBQL-DT (FormDB Query Language - Dependent Types) |
268 | 286 | **Location:** `fbql-dt/` |
269 | 287 | **Tech:** Lean 4 (dependent types) + Zig FFI |
|
0 commit comments