Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with specification-language
A curated list of projects in awesome lists tagged with specification-language .
https://github.com/sinamoghtaderfar/Alloy-Analyzer
online exam and justice project
alloy-analyzer justice model online-exam specification-language structure workspace
Last synced: 23 Oct 2024
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: 21 Jan 2025
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: 23 Dec 2024
https://github.com/io7m-com/cedarbridge
Cedarbridge message protocol specification language
cedarbridge message-protocol specification-language
Last synced: 29 Nov 2024
