|
|
ANTLR |
2 |
Specifies the semantics of the [V] specification language and provides tooling for the [V] specification … |
Jun 02, 2022 |
|
|
Go |
3 |
App Container Specification and Tooling |
May 30, 2023 |
|
|
JavaScript |
2 |
Templates with opinionated configuration and tooling. |
Jul 01, 2023 |
|
|
Rust |
27 |
Overly opinionated git tooling |
Mar 25, 2023 |
|
|
TypeScript |
4 |
Opinionated extra angular tooling for vscode. |
Mar 04, 2023 |
|
|
TypeScript |
2 |
Opinionated tooling configurations for TypeScript development |
Mar 08, 2023 |
|
|
Rust |
325 |
Minimal and opinionated eBPF tooling for the Rust ecosystem |
Aug 19, 2022 |
|
|
TypeScript |
62 |
Quint is an executable specification language with design and tooling focused on usability. It is … |
Apr 22, 2023 |
|
|
TeX |
53 |
specification and design documents |
Oct 07, 2022 |
|
|
None |
10 |
DDDML Specification. DDDML is Domain-Driven Design Modeling Language. |
Apr 11, 2023 |
|
|
None |
3 |
eWASM Design Overview and Specification |
Sep 09, 2019 |
|
|
None |
981 |
Ewasm Design Overview and Specification |
Oct 19, 2022 |
|
|
None |
2 |
An informal, semantic specification for Rhovas, a programming language intended for API design and enforcement. |
May 05, 2022 |
|
|
Rust |
5 |
Language tooling for the Lox programming language |
Nov 15, 2022 |
|
|
JavaScript |
2 |
Opinionated shareable specification for different JavaScript/TypeScript projects. |
Jul 18, 2022 |
|
|
Java |
30 |
Language server for Quarkus tooling |
Aug 10, 2022 |
|
|
TypeScript |
2 |
️🛠️ | Tooling for Kind language |
Apr 14, 2023 |
|
|
None |
9 |
Language Specification for twinBASIC |
Aug 08, 2022 |
|
|
C# |
198 |
Tooling support for PowerApps language and .msapp files |
Aug 05, 2022 |
|
|
Python |
5 |
Tooling for working with language servers and clients. |
Mar 24, 2023 |
|
|
OCaml |
18 |
Compiler and tooling for the Myte programming language. |
Mar 28, 2023 |
|
|
TeX |
21 |
Dart Language Specification and Grammar |
Jun 12, 2022 |
|
|
C++ |
25 |
Carbon language specification and documentation. |
Aug 09, 2022 |
|
|
C++ |
2 |
Carbon language specification and documentation. |
Jul 21, 2022 |
|
|
Go |
2 |
PENLog provides a specification, library, and tooling for simple machine readable logging |
May 25, 2022 |
|
|
Go |
2 |
Specification and tooling for cross-client, cross-chain, Ethereum-evolved, chain configuration. |
Jan 10, 2022 |
|
|
None |
2 |
NIEM Naming and Design Rules Specification |
Jun 11, 2023 |
|
|
CSS |
2 |
Opinionated CSS for fixing Merlot design |
Mar 07, 2023 |
|
|
None |
4 |
Language specification for the Carto stylesheet language |
Sep 28, 2016 |
|
|
JavaScript |
3 |
Language-agnostic rule specification for the HMDA file specification and edit checks. |
Apr 26, 2022 |
|
|
Java |
38 |
Language-agnostic test reporting format and tooling |
May 01, 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 |
595 |
RESTful API Design Specification |
Apr 24, 2023 |
|
|
Java |
569 |
Workflow Description Language - Specification and Implementations |
Sep 01, 2022 |
|
|
Go |
2 |
component descriptor specification and language bindings |
Dec 17, 2021 |
|
|
Java |
25 |
Workflow Description Language - Specification and Implementations |
Feb 02, 2022 |
|
|
C++ |
140 |
High performance scripting and specification language. |
Aug 19, 2022 |
|
|
HTML |
5 |
Design specification for JHA web apps |
Aug 15, 2022 |
|
|
Ruby |
249 |
An opinionated language server for Ruby |
Aug 11, 2022 |
|
|
None |
30 |
Opinionated Styleguide for the Go language |
Mar 30, 2022 |
|
|
None |
2 |
Opinionated Styleguide for the Go language |
May 26, 2020 |