Hacker News with Generative AI: DSL

Clean, a formal verification DSL for ZK circuits in Lean4 (zksecurity.xyz)
We are really excited to share our initial steps towards building clean, an embedded DSL and formal verification framework for ZK circuits in Lean4.
Formal Verification, DSL, ZK Circuits, Lean4
77 points by vons 30 days ago | 5 comments
Glimmer: DSL Framework for Ruby GUI and More (github.com/AndyObtiva)
DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Rub…
Ruby, GUI Development, DSL, Frameworks, Open Source
171 points by thunderbong 106 days ago | 21 comments