Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: specification-language
io7m-com/cedarbridge
Cedarbridge message protocol specification language
Language: Java - Size: 3.72 MB - Last synced: about 1 hour ago - Pushed: about 2 hours ago - Stars: 0 - Forks: 0
ClemsonRSRG/RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Language: Java - Size: 14 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 22 - Forks: 15
LambdaAlpha/airlang_rs
The Air programming language is carefully designed to solve programming problems once and for all.
Language: Rust - Size: 1.36 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 7 - Forks: 0
sirkibsirkib/seaso
Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.
Language: Rust - Size: 223 KB - Last synced: 29 days ago - Pushed: 6 months ago - Stars: 1 - Forks: 0
hoaproject/Praspel 📦
The Hoa\Praspel library.
Language: PHP - Size: 343 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 40 - Forks: 7
modsim/FluxML
A Universal Modeling Language for Metabolic Flux Analysis
Language: C++ - Size: 1.98 MB - Last synced: 29 days ago - Pushed: 2 months ago - Stars: 9 - Forks: 6
LambdaAlpha/airlang
The Air programming language is carefully designed to solve programming problems once and for all.
Size: 85 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0
SuperSonicHub1/gorr-language
A toy specification language designed for my high school's senior capstone project.
Language: HTML - Size: 14.9 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 1 - Forks: 0
sinamoghtaderfar/Alloy-Analyzer
online exam and justice project
Language: Alloy - Size: 116 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0
git-afsantos/hpl-specs
High-Level Property Specification Language
Language: Python - Size: 286 KB - Last synced: 29 days ago - Pushed: 30 days ago - Stars: 3 - Forks: 0
eyrafabdullayev/spring-data-jpa-querydsl
We're looking at building a query language for a REST API using Spring Data JPA and Querydsl
Language: Java - Size: 61.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
rozkminiacz/SpekBddDsl
Spek Behavior-Driven-Development extensions
Language: Kotlin - Size: 306 KB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 13 - Forks: 2
dranidis/sdlspec
SDL process specification and simulation in Go (golang)
Language: Go - Size: 20.5 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0
STAR-RG/siesta
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
Size: 17.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
diederikd/ProjectAWS
MPS Project with the Amazons States Language
Language: Java - Size: 253 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
diederikd/DemoWB
The Demo Workbench is a MPS implementation of the Design & Engineering Methodology for Organizations. It is a Workbench for creating DEMO models.
Language: Java - Size: 10.4 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0
srhickma/padd
Fast and Automatic Formatting of Context-Free Languages
Language: Rust - Size: 733 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 2 - Forks: 2
diederikd/DeBrug2
Een vervolg op de Brug
Language: Java - Size: 7.84 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
diederikd/DeBrug
DeBrug is een Wets Simulatie Workbench die de brug vormt tussen de wet- en regelgeving en de dienstverlening.
Language: Java - Size: 135 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0