The Hoa\Praspel library.
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
Spek Behavior-Driven-Development extensions
A Universal Modeling Language for Metabolic Flux Analysis
The Spex specification language and toolkit
[WIP] Mya language specification
High-Level Property Specification Language
Fast and Automatic Formatting of Context-Free Languages
SDL process specification and simulation in Go (golang)
Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
A toy specification language designed for my high school's senior capstone project.
MPS Project with the Amazons States Language
The Demo Workbench is a MPS implementation of the Design & Engineering Methodology for Organizations. It is a Workbench for creating DEMO models.
DeBrug is een Wets Simulatie Workbench die de brug vormt tussen de wet- en regelgeving en de dienstverlening.
online exam and justice project
We're looking at building a query language for a REST API using Spring Data JPA and Querydsl
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
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."