|
None |
4 |
Language specification for the Carto stylesheet language |
Sep 28, 2016 |
|
TeX |
10 |
The specification for the FIRRTL language |
Jun 09, 2022 |
|
None |
4 |
The llama Language Specification |
Feb 15, 2019 |
|
Makefile |
2 |
The Austral Language Specification |
Jan 06, 2023 |
|
None |
6 |
The natural language specification for openCypher |
Jul 12, 2022 |
|
None |
3 |
The specification for the Guppy programming language. |
Oct 29, 2021 |
|
ANTLR |
2 |
Specifies the semantics of the [V] specification language and provides tooling for the [V] specification … |
Jun 02, 2022 |
|
Kotlin |
3 |
IntelliJ IDEA language plugin for the Alloy specification language |
May 10, 2022 |
|
Python |
37 |
The ISLa (Input Specification Language) language & solver. |
Jul 03, 2023 |
|
Python |
3 |
The Rockstar programming language specification |
Aug 05, 2021 |
|
HTML |
28 |
The Oberon+ Programming Language Specification |
Jun 21, 2022 |
|
TeX |
68 |
Specification of the Modelica Language |
Aug 12, 2022 |
|
Hack |
171 |
The official Hack Language specification. |
Apr 10, 2023 |
|
Ruby |
150 |
The language specification of PartiQL. |
Feb 01, 2023 |
|
None |
2 |
The Rockstar programming language specification |
Jul 15, 2022 |
|
None |
9 |
The Scribble protocol language specification |
May 26, 2019 |
|
None |
9 |
Language Specification for twinBASIC |
Aug 08, 2022 |
|
Ruby |
3 |
Executable specification for the Ruby programming language. |
Apr 17, 2022 |
|
Ruby |
2 |
Executable specification for the Ruby programming language. |
Aug 28, 2020 |
|
None |
7 |
Specification for the Vism esoteric programming language. |
Mar 26, 2023 |
|
JavaScript |
226 |
Specification for GROQ - The Query Language for JSON |
Aug 05, 2022 |
|
JavaScript |
3 |
Language-agnostic rule specification for the HMDA file specification and edit checks. |
Apr 26, 2022 |
|
None |
3 |
The Macron Programming Language Technical Specification |
Nov 18, 2021 |
|
Haskell |
3 |
The easy parallel algorithm specification language |
Apr 03, 2022 |
|
None |
13 |
RFCs for changes to the TLA+ specification language |
Oct 28, 2022 |
|
Ruby |
3 |
RSpec-style specification for the Ruby programming language |
Aug 13, 2019 |
|
Ruby |
3 |
RSpec-style specification for the Ruby programming language |
Aug 13, 2019 |
|
None |
3 |
Contains the specification of the Unimarkup language |
Apr 23, 2023 |
|
Kotlin |
313 |
Kotlin Language Specification: |
Jul 21, 2022 |
|
PHP |
2272 |
PHP Language Specification |
Jul 28, 2022 |
|
None |
2 |
PHP Language Specification |
Apr 28, 2023 |
|
HTML |
2 |
C# language specification |
Dec 29, 2020 |
|
None |
2 |
PHP Language Specification |
Mar 05, 2023 |
|
Python |
332 |
Ferrocene Language Specification |
Apr 26, 2023 |
|
VimL |
3 |
TLA+ specification language |
Sep 14, 2021 |
|
None |
13 |
Tact language specification |
Feb 20, 2023 |
|
None |
2 |
Ferrocene Language Specification |
Nov 26, 2023 |
|
TypeScript |
2 |
Interslavic language specification |
Apr 16, 2024 |
|
None |
2 |
The official specification of the programming language Food. |
Feb 16, 2023 |
|
Java |
8 |
Java Interpreter for the Low Entropy Model Specification language |
Mar 28, 2023 |
|
Python |
14 |
Specification of the NineML model description language. |
Oct 10, 2021 |
|
TypeScript |
2 |
The official Demark language specification and parser. |
Jan 26, 2023 |
|
ANTLR |
9 |
Specification for just another configuration language. |
Dec 03, 2021 |
|
Coq |
206 |
A specification language for cryptography primitives. |
Apr 24, 2023 |
|
Julia |
14 |
A symbolic language for equation specification |
Mar 05, 2022 |
|
None |
2 |
Comprehensive language specification for Protocol Buffers |
Apr 20, 2023 |
|
Dart |
9 |
Pattern specification library for Dart language |
Dec 10, 2022 |
|
None |
2 |
Official specification for Ry programming language. |
Dec 26, 2023 |
|
None |
43 |
Specification for the sCrypt Smart Contract Language for Bitcoin SV |
Jul 30, 2022 |
|
None |
7 |
Finite State Language specification |
Jul 19, 2022 |