specification-language

Here are 3 public repositories matching this topic...

The Air programming language is carefully designed to solve programming problems once and for all.

Fast and Automatic Formatting of Context-Free Languages

Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.

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

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