#
typed-dsl
Here are 4 public repositories matching this topic...
A typed DSL for stock-flow consistent macroeconomic modelling
rust open-source standards economics specification modelling type-system macroeconomics stock-flow-consistent research-software typed-dsl hyperpolymath epistemic-infrastructure epistemic-computing macroeconomic-modelling veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Sep 20, 2026 - Rust
Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The "LLVM of type safety" for query validation.
rust open-source dependent-types database formal-verification linear-types research-software idris2 typed-dsl temporal-database hyperpolymath affinescript ephapax epistemic-infrastructure epistemic-computing verification-kernel veridical-computing proof-carrying-queries
-
Updated
Sep 18, 2026 - Rust
VCL Type-Safe — research into type-safe consonance languages for VeriSimDB.
open-source dependent-types database formal-verification research-software idris2 provenance-tracking typed-dsl temporal-database hyperpolymath epistemic-infrastructure verisimdb epistemic-computing verification-kernel veridical-computing equivalence-aware-computing typed-provenance proof-carrying-queries
-
Updated
Sep 20, 2026 - Idris
Add this topic to your repo
To associate your repository with the typed-dsl topic, visit your repo's landing page and select "manage topics."