|
|
C |
3 |
Dependently typed DSLs for network protocols |
Nov 07, 2021 |
|
|
C |
2 |
Dependently typed DSLs for network protocols |
Oct 05, 2013 |
|
|
TypeScript |
3 |
Type-safe DSLs and ORMs for TypeScript. |
Mar 24, 2023 |
|
|
JavaScript |
5 |
A generic function definition and dispatch library for Javascript. |
Mar 20, 2021 |
|
|
TypeScript |
64 |
A JavaScript / TypeScript implementation of JSON Type Definition |
May 07, 2023 |
|
|
Haskell |
7 |
Type-safe web routes for servant DSLs |
Dec 05, 2019 |
|
|
JavaScript |
5 |
A function type signature library for Javascript |
Dec 12, 2016 |
|
|
R |
88 |
A function definition generator. |
Apr 22, 2023 |
|
|
TypeScript |
4 |
Type definition of .NET |
Jun 08, 2022 |
|
|
JavaScript |
5 |
Typed async writeFile function |
Dec 07, 2021 |
|
|
JavaScript |
2 |
Typed async readFile function |
Dec 07, 2021 |
|
|
TypeScript |
83 |
Typed, definition jumpable CSS Modules. Moreover, easy! |
Apr 28, 2023 |
|
|
Python |
5 |
Environment variable definition with type |
Aug 11, 2022 |
|
|
TypeScript |
2 |
styled-components-theme-type-definition |
Mar 08, 2023 |
|
|
TypeScript |
2 |
Well-typed map function implementation |
Jan 11, 2017 |
|
|
WebAssembly |
65 |
Proposal for Typed Function References |
Jul 29, 2022 |
|
|
PureScript |
2 |
Rank-n-typed type system |
Feb 10, 2023 |
|
|
Scala |
110 |
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala |
Apr 29, 2023 |
|
|
TypeScript |
41 |
A parser and type definition set for MusicXML. |
Aug 18, 2022 |
|
|
Coq |
196 |
A function definition package for Coq |
May 03, 2023 |
|
|
Ruby |
344 |
ActiveRecord::Store but with type definition |
Aug 10, 2022 |
|
|
JavaScript |
4 |
WIP: Adding type definition to recompose |
Mar 27, 2017 |
|
|
JavaScript |
4 |
GraphQL Function Type |
Jul 14, 2019 |
|
|
JavaScript |
5 |
A directed multi-graph library for JavaScript, graphlib with security update & type definition |
Apr 23, 2022 |
|
|
TypeScript |
17 |
Well-typed compose function for TypeScript |
Feb 04, 2020 |
|
|
TypeScript |
4 |
Correctly typed, generic, typescript throttle function |
Apr 28, 2023 |
|
|
None |
3 |
TypeScript type definition files for Ext.JS 6 and 7. |
Nov 22, 2021 |
|
|
Julia |
17 |
Abstract type and interface definition for quantum circuit blocks. |
Feb 27, 2023 |
|
|
Shell |
12 |
The JSON Type Definition specification and official test suite |
Feb 06, 2023 |
|
|
JavaScript |
2 |
JavaScript module definition pattern |
Jul 18, 2014 |
|
|
TypeScript |
85 |
Emit C# strongly typed interface code from TypeScript definition files. |
Jun 24, 2022 |
|
|
None |
2 |
JavaScript language definition for TextMate and SublimeText2 |
Jan 11, 2022 |
|
|
TypeScript |
5 |
The Extensible Type Definition of ESLint AST |
May 06, 2021 |
|
|
TypeScript |
3 |
Typescript type definition generator for surrealdb databases. |
Nov 27, 2022 |
|
|
Python |
18 |
Typescript type definition generator for Frappe DocTypes |
Mar 21, 2023 |
|
|
Shell |
3 |
📦 TypeScript type definition for JSON Resume |
May 25, 2022 |
|
|
TypeScript |
4 |
The Nvim API type definition for TypeScript. |
Feb 15, 2021 |
|
|
JavaScript |
2 |
Type definition file generator for UWP API |
Jan 27, 2023 |
|
|
None |
2 |
Typescript type definition generator for Frappe DocTypes |
Feb 14, 2023 |
|
|
C# |
4 |
A C# implementation of JSON Type Definition |
Apr 28, 2022 |
|
|
Go |
7 |
A Go implementation of JSON Type Definition |
Dec 08, 2022 |
|
|
Java |
5 |
A Java implementation of JSON Type Definition |
Jan 21, 2023 |
|
|
Python |
18 |
A Python implementation of JSON Type Definition |
Mar 29, 2023 |
|
|
Ruby |
8 |
A Ruby implementation of JSON Type Definition |
Jul 28, 2022 |
|
|
Rust |
18 |
A Rust implementation of JSON Type Definition |
Apr 20, 2023 |
|
|
None |
2 |
Typescript type definition generator for Frappe DocTypes |
Apr 14, 2024 |
|
|
JavaScript |
8 |
A type definition and helper for jest mocks in TypeScript |
Apr 28, 2022 |
|
|
Go |
24 |
All type definition of Terra, database scheme, and extract scripts |
Jun 26, 2022 |
|
|
TypeScript |
29 |
Strongly-typed imgix URL builder function, `buildImgixUrl`. |
Jan 31, 2022 |
|
|
Java |
2 |
D2 is a strongly-typed, statically-typed, (mostly) inferred-type compiled language. |
May 08, 2023 |