GitHub topics: specification-language
IntelLabs/asl-interpreter Fork of alastairreid/asl-interpreter
Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
Language: OCaml - Size: 1.02 MB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 20 - Forks: 4
io7m-com/cedarbridge
Cedarbridge message protocol specification language
Language: Java - Size: 3.97 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - 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: 242 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - 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.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 24 - Forks: 16
modsim/FluxML
A Universal Modeling Language for Metabolic Flux Analysis
Language: C++ - Size: 2.02 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 12 - Forks: 6
spex-lang/spex
The Spex specification language and toolkit
Language: Haskell - Size: 488 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0
git-afsantos/hpl-specs
High-Level Property Specification Language
Language: Python - Size: 250 KB - Last synced at: about 8 hours ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
hoaproject/Praspel 📦
The Hoa\Praspel library.
Language: PHP - Size: 343 KB - Last synced at: 9 days ago - Pushed at: over 8 years ago - Stars: 40 - Forks: 7
SuperSonicHub1/gorr-language
A toy specification language designed for my high school's senior capstone project.
Language: HTML - Size: 14.9 MB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
sinamoghtaderfar/Alloy-Analyzer
online exam and justice project
Language: Alloy - Size: 116 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - 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 at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
rozkminiacz/SpekBddDsl
Spek Behavior-Driven-Development extensions
Language: Kotlin - Size: 306 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 2
dranidis/sdlspec
SDL process specification and simulation in Go (golang)
Language: Go - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: about 4 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 at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
diederikd/ProjectAWS
MPS Project with the Amazons States Language
Language: Java - Size: 253 KB - Last synced at: 11 months ago - Pushed at: almost 6 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 at: 11 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
srhickma/padd
Fast and Automatic Formatting of Context-Free Languages
Language: Rust - Size: 733 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 2
diederikd/DeBrug2
Een vervolg op de Brug
Language: Java - Size: 7.84 MB - Last synced at: 11 months ago - Pushed at: over 6 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 at: 11 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0