26 results for “topic:specification-language”
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
The Hoa\Praspel library.
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
A toy specification language designed for my high school's senior capstone project.
SDL process specification and simulation in Go (golang)
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.
JSON specs → production code. Designed for AI agents.
A declarative specification language for human-agent collaboration. Define what and what constraints, not how. Built with Rust + PEG grammar (pest). 🤖 Co-developed with Claude (Anthropic).
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
Cedarbridge message protocol specification language
Specification language for AI-assisted development with formal verification, confidence tracking, and provenance.
Een vervolg op de Brug
High level optimizations for a high level formal methods-based programming language