|
|
OCaml |
5 |
A core language for Sail |
Jun 26, 2021 |
|
|
OCaml |
3 |
SAIL stands for SAfe Interactive Language |
Jun 09, 2022 |
|
|
Isabelle |
56 |
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A … |
Feb 14, 2023 |
|
|
Wollok |
5 |
Wollok language definition |
Jul 18, 2022 |
|
|
Python |
3 |
item definition language |
Nov 07, 2019 |
|
|
HTML |
3 |
A neural network architecture definition package |
Nov 04, 2021 |
|
|
Makefile |
6 |
MERA-400 architecture definition for Ghidra |
Feb 12, 2023 |
|
|
None |
10 |
Language definition for the Kivy Language |
Aug 26, 2022 |
|
|
OCaml |
115 |
Lem semantic definition language |
Mar 10, 2023 |
|
|
None |
2 |
a new language definition |
Jul 03, 2023 |
|
|
JavaScript |
12 |
Blade language definition for Highlight.js |
Jul 06, 2022 |
|
|
C++ |
350 |
NVIDIA Material Definition Language SDK |
Aug 12, 2022 |
|
|
JavaScript |
23 |
pretty JSON schema definition language |
Nov 12, 2021 |
|
|
Rust |
27 |
Event-sourcing Schema Definition Language |
Feb 27, 2022 |
|
|
None |
34 |
scad language definition for vscode |
May 01, 2022 |
|
|
None |
29 |
Contractum: RGB contract definition language |
Apr 07, 2023 |
|
|
JavaScript |
3 |
Digital UX Field Definition Language |
Jul 22, 2022 |
|
|
Rust |
5 |
Mindroid Interface Definition Language (MIDL) |
Nov 08, 2022 |
|
|
JavaScript |
2 |
LookML language definition for highlight.js |
Sep 11, 2022 |
|
|
Python |
2 |
waveform definition language for Archons |
Jan 10, 2024 |
|
|
ooc |
2 |
GtkSourceView language definition file for the ooc language |
Feb 02, 2016 |
|
|
None |
9 |
WebAssembly Interface Definition Language (WIDL) specification |
Jul 11, 2022 |
|
|
Shell |
21 |
Exuberant ctags language definition for Rust. |
Sep 04, 2021 |
|
|
Python |
8 |
Kivy language definition for Sublime Text |
Sep 23, 2021 |
|
|
JavaScript |
4 |
The ObjectiveScript programming language highlight.js definition. |
Jan 20, 2023 |
|
|
None |
4 |
A CI language for Action definition |
Aug 03, 2020 |
|
|
Makefile |
7 |
Reference definition for the HULK language. |
Jan 11, 2023 |
|
|
None |
3 |
Android logcat language definition for SublimeText |
Jun 22, 2022 |
|
|
Shell |
2 |
sail AUR package |
Dec 16, 2021 |
|
|
Java |
2 |
Come sail away! |
Dec 21, 2021 |
|
|
None |
2 |
The SAIL blog |
May 02, 2021 |
|
|
Java |
115 |
Come sail away! |
Aug 22, 2022 |
|
|
HTML |
8 |
The SAIL blog |
Aug 25, 2022 |
|
|
Ruby |
3 |
Sail Asciidoctor plugin |
May 12, 2024 |
|
|
Dockerfile |
27 |
Little Sail is a smaller runtime image for Laravel Sail |
Apr 05, 2023 |
|
|
TypeScript |
4 |
Syntax support for the Ampersand Definition Language |
Mar 09, 2022 |
|
|
JavaScript |
4 |
A Prism language definition for _hyperscript (w.i.p.) |
Jan 10, 2022 |
|
|
Python |
13 |
Simple, flexible, JSON-based Interface Definition Language |
Apr 18, 2023 |
|
|
None |
8 |
Clojure language definition for Prism syntax highlighter |
Jan 28, 2023 |
|
|
TypeScript |
2 |
use decorators to generate Schema Definition Language |
Jul 01, 2022 |
|
|
None |
2 |
JavaScript language definition for TextMate and SublimeText2 |
Jan 11, 2022 |
|
|
TypeScript |
16 |
Digital Twins Definition Language extension for VSCode |
Jul 15, 2022 |
|
|
JavaScript |
18 |
The Protocol definition file and language bindings |
Jul 21, 2022 |
|
|
Scala |
40 |
Definition of the Viper intermediate verification language. |
Jul 31, 2022 |
|
|
JavaScript |
66 |
Formats GraphQL schema definition language (SDL) document. |
Jun 03, 2022 |
|
|
Go |
46 |
Compiler & Language definition for the Ethereum project |
Sep 16, 2022 |
|
|
None |
4 |
Library for parsing IDL (Interface Definition Language) |
Mar 23, 2019 |
|
|
TypeScript |
25 |
Definition for Pineapple language and its compiler |
Jan 29, 2023 |
|
|
C# |
7 |
Planning Domain Definition Language Parser for .NET |
Apr 09, 2023 |
|
|
TypeScript |
2 |
DMN FEEL language definition for CodeMirror 6 |
Jan 22, 2023 |