#

hml

Here are 2 public repositories matching this topic...

dotnet-ad / hml

Hierarchy Markup Language, or less verbose xml.

language markup netstandard hml

Updated Jul 17, 2019
C#

lou1306 / CIV

CCS Interpreter and Verifier in C#

csharp dotnet-core formal-methods ccs hml formal-verification

Updated Jun 30, 2017
C#

Improve this page

Add a description, image, and links to the hml topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hml topic, visit your repo's landing page and select "manage topics."