Projects in Awesome Lists tagged with specification-language
A curated list of projects in awesome lists tagged with specification-language .
https://github.com/quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
apalache formal-methods language quint specification specification-language tlaplus verification
Last synced: 02 Jun 2026
https://github.com/git-afsantos/hpl-specs
High-Level Property Specification Language
behavior domain-specific-language liveness message-passing properties safety specification specification-language specification-pattern
Last synced: 27 Jun 2025
https://github.com/dranidis/sdlspec
SDL process specification and simulation in Go (golang)
go golang sdl signal simulation specification-language
Last synced: 31 Jan 2026
https://github.com/eyrafabdullayev/spring-data-jpa-querydsl
We're looking at building a query language for a REST API using Spring Data JPA and Querydsl
data-jpa java querydsl specification-language spring spring-boot
Last synced: 05 May 2026
https://github.com/supersonichub1/gorr-language
A toy specification language designed for my high school's senior capstone project.
design-document formal-methods formal-verification presentation presentation-slides specification specification-language
Last synced: 02 Jan 2026
https://github.com/sinamoghtaderfar/Alloy-Analyzer
online exam and justice project
alloy-analyzer justice model online-exam specification-language structure workspace
Last synced: 10 Mar 2025
https://github.com/io7m-com/cedarbridge
Cedarbridge message protocol specification language
cedarbridge message-protocol specification-language
Last synced: 22 Mar 2025
