An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

The Hoa\Praspel library.

Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

Spek Behavior-Driven-Development extensions

A Universal Modeling Language for Metabolic Flux Analysis

A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

The Spex specification language and toolkit

[WIP] Mya language specification

Z/Alloy formal specification for client identifying data regulation for banks in Switzerland

High-Level Property Specification Language

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

Fast and Automatic Formatting of Context-Free Languages

SDL process specification and simulation in Go (golang)

A toy specification language designed for my high school's senior capstone project.

MPS Project with the Amazons States Language

DeBrug is een Wets Simulatie Workbench die de brug vormt tussen de wet- en regelgeving en de dienstverlening.

JSON specs → production code. Designed for AI agents.

The Demo Workbench is a MPS implementation of the Design & Engineering Methodology for Organizations. It is a Workbench for creating DEMO models.

online exam and justice project