|
|
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 |
7 |
Finite State Language specification |
Jul 19, 2022 |
|
|
None |
9 |
Language Specification for twinBASIC |
Aug 08, 2022 |
|
|
Rust |
227 |
Metamath Zero specification language |
Aug 12, 2022 |
|
|
None |
251 |
HTML Template Language Specification |
Aug 10, 2022 |
|
|
HTML |
5 |
[WIP] Handlebars Language Specification |
Oct 21, 2022 |
|
|
None |
2 |
Smart contract specification language |
Oct 19, 2021 |
|
|
None |
24 |
ECMAScript Language Specification Comparator |
Apr 17, 2022 |
|
|
TeX |
44 |
Erlang Language Specification (Draft) |
Apr 21, 2022 |
|
|
Haskell |
126 |
Smart contract specification language |
Aug 06, 2022 |
|
|
None |
4 |
The llama Language Specification |
Feb 15, 2019 |
|
|
Python |
2 |
HAROS Property Specification Language |
Mar 09, 2023 |
|
|
Makefile |
2 |
The Austral Language Specification |
Jan 06, 2023 |
|
|
None |
58 |
A kernel language specification |
Apr 30, 2023 |
|
|
None |
4 |
Language specification for the Carto stylesheet language |
Sep 28, 2016 |
|
|
Python |
37 |
The ISLa (Input Specification Language) language & solver. |
Jul 03, 2023 |
|
|
XSLT |
5 |
Font Test Markup Language Specification |
Jan 25, 2022 |
|
|
Python |
3 |
The Rockstar programming language specification |
Aug 05, 2021 |
|
|
TeX |
21 |
Dart Language Specification and Grammar |
Jun 12, 2022 |
|
|
C++ |
25 |
Carbon language specification and documentation. |
Aug 09, 2022 |
|
|
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 |
|
|
C++ |
2 |
Carbon language specification and documentation. |
Jul 21, 2022 |
|
|
None |
2 |
The Rockstar programming language specification |
Jul 15, 2022 |
|
|
None |
9 |
The Scribble protocol language specification |
May 26, 2019 |
|
|
Java |
19 |
Expression Language 3.0 specification, JSR341 |
Apr 07, 2023 |
|
|
Java |
60 |
Clinical Quality Language Evaluation Engine |
Dec 21, 2022 |
|
|
Kotlin |
3 |
IntelliJ IDEA language plugin for the Alloy specification language |
May 10, 2022 |
|
|
None |
6 |
The natural language specification for openCypher |
Jul 12, 2022 |
|
|
ANTLR |
9 |
Specification for just another configuration language. |
Dec 03, 2021 |
|
|
None |
9 |
WebAssembly Interface Definition Language (WIDL) specification |
Jul 11, 2022 |
|
|
TeX |
10 |
The specification for the FIRRTL language |
Jun 09, 2022 |
|
|
Java |
569 |
Workflow Description Language - Specification and Implementations |
Sep 01, 2022 |
|
|
Coq |
206 |
A specification language for cryptography primitives. |
Apr 24, 2023 |
|
|
Go |
2 |
component descriptor specification and language bindings |
Dec 17, 2021 |
|
|
None |
3 |
The Macron Programming Language Technical Specification |
Nov 18, 2021 |
|
|
Julia |
14 |
A symbolic language for equation specification |
Mar 05, 2022 |
|
|
Java |
25 |
Workflow Description Language - Specification and Implementations |
Feb 02, 2022 |
|
|
C++ |
140 |
High performance scripting and specification language. |
Aug 19, 2022 |