|
|
TypeScript |
4 |
Lib that transform plain english definition to validation functions |
Jul 22, 2022 |
|
|
C++ |
2 |
the intent formal language |
Mar 30, 2023 |
|
|
None |
10 |
Language definition for the Kivy Language |
Aug 26, 2022 |
|
|
Scala |
13 |
Type definition and utility to implement AWS Lambda functions in Scala.js |
Apr 10, 2022 |
|
|
ooc |
2 |
GtkSourceView language definition file for the ooc language |
Feb 02, 2016 |
|
|
Shell |
6 |
Formal semantics of the yul language |
May 16, 2022 |
|
|
Makefile |
7 |
Reference definition for the HULK language. |
Jan 11, 2023 |
|
|
JavaScript |
18 |
The Protocol definition file and language bindings |
Jul 21, 2022 |
|
|
C++ |
3 |
Utility lib for MoonLoader |
Dec 18, 2021 |
|
|
Zig |
8 |
Small and fun utility lib |
Jan 28, 2023 |
|
|
TypeScript |
4 |
Syntax support for the Ampersand Definition Language |
Mar 09, 2022 |
|
|
Go |
46 |
Compiler & Language definition for the Ethereum project |
Sep 16, 2022 |
|
|
None |
2 |
JavaScript language definition for TextMate and SublimeText2 |
Jan 11, 2022 |
|
|
TypeScript |
25 |
Definition for Pineapple language and its compiler |
Jan 29, 2023 |
|
|
Objective-C |
2 |
iOS utility lib |
Mar 05, 2023 |
|
|
Wollok |
5 |
Wollok language definition |
Jul 18, 2022 |
|
|
Python |
3 |
item definition language |
Nov 07, 2019 |
|
|
JavaScript |
4 |
The ObjectiveScript programming language highlight.js definition. |
Jan 20, 2023 |
|
|
Java |
2 |
Utility lib for secure SQS |
Nov 18, 2022 |
|
|
HTML |
2 |
Basic functions for formal concept analysis in javascript. |
Aug 12, 2023 |
|
|
Brainfuck |
9 |
Formal semantics of the Brainfuck language in K |
Apr 05, 2023 |
|
|
TypeScript |
7 |
Utility functions and helpers for the SASjs framework |
Dec 13, 2021 |
|
|
JavaScript |
12 |
Blade language definition for Highlight.js |
Jul 06, 2022 |
|
|
None |
34 |
scad language definition for vscode |
May 01, 2022 |
|
|
JavaScript |
2 |
LookML language definition for highlight.js |
Sep 11, 2022 |
|
|
Python |
2 |
waveform definition language for Archons |
Jan 10, 2024 |
|
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
|
Coq |
81 |
A quantum circuit language and formal verification tool |
Mar 27, 2023 |
|
|
JavaScript |
34 |
Utility lib for taking snapshots and running airdrops |
Jun 06, 2022 |
|
|
Haskell |
15 |
Language definition and parser for AVRO (.avdl) files. |
Feb 09, 2023 |
|
|
Java |
3 |
Domain definition language and framework for integrative AI. |
Mar 17, 2022 |
|
|
Go |
2 |
Lib for abstract functions and methods in go |
Apr 30, 2023 |
|
|
JavaScript |
5 |
Utility functions for the Reaction API. |
Nov 04, 2021 |
|
|
JavaScript |
3 |
The missing utility functions for JavaScript |
Jan 08, 2022 |
|
|
JavaScript |
43 |
lightweight utility for smart object properties definition |
Mar 07, 2022 |
|
|
JavaScript |
2 |
Utility functions and classes |
Jan 26, 2023 |
|
|
Swift |
16 |
Piece wise spline definition for interpolation functions |
May 16, 2022 |
|
|
Scala |
40 |
Definition of the Viper intermediate verification language. |
Jul 31, 2022 |
|
|
C |
8 |
Handy utility functions and additions for the Playdate SDK. |
Feb 25, 2023 |
|
|
None |
2 |
a minimal lib for http utility. |
Mar 05, 2017 |
|
|
TypeScript |
7 |
Helper and utility functions for Node.js |
Sep 08, 2022 |
|
|
TypeScript |
3 |
Utility classes and functions for bullmq |
Mar 09, 2023 |
|
|
OCaml |
115 |
Lem semantic definition language |
Mar 10, 2023 |
|
|
Standard ML |
429 |
Sail architecture definition language |
Apr 19, 2023 |
|
|
None |
2 |
a new language definition |
Jul 03, 2023 |
|
|
JavaScript |
7 |
Lezer grammar definition for the DMN 1.3 FEEL language |
May 22, 2023 |
|
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
|
Kotlin |
3 |
common geeksville lib functions |
Jul 12, 2022 |
|
|
Shell |
21 |
Exuberant ctags language definition for Rust. |
Sep 04, 2021 |
|
|
Python |
8 |
Kivy language definition for Sublime Text |
Sep 23, 2021 |