| Tag: semantics 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: formal-methods programming-languages latex coq audio lv2 rdf serialization c-library | ||
| Package | Description | Version |
|---|---|---|
| ott ☆ formula | Tool for writing definitions of programming languages and calculi | |
| sratom ☆ formula | Library for serializing LV2 atoms to/from RDF | 0.6.20 |