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.

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

Spek Behavior-Driven-Development extensions

A Universal Modeling Language for Metabolic Flux Analysis

The Spex specification language and toolkit

[WIP] Mya language specification

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

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

High-Level Property Specification Language

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

JSON specs → production code. Designed for AI agents.

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

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