CaperTML is a strong typed DSL-style html template generator for kotlin.
-
Updated
Jul 21, 2026 - Kotlin
#
correctness-by-construction
Here are 2 public repositories matching this topic...
A Markdown 2 Arxive Traspiler
education latex compiler state-machine ocaml formal-semantics transpiler educational diagnostics arxiv type-safety dfa error-recovery semantic-analysis operational-semantics denotational-semantics axiomatic-semantics academic-writing correctness-by-construction bnf-grammar
-
Updated
Jun 11, 2026 - OCaml
Add this topic to your repo
To associate your repository with the correctness-by-construction topic, visit your repo's landing page and select "manage topics."