Stars
16
Forks
0
Language
TypeScript
Last Updated
Sep 16, 2022
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
TypeScript | 44 | Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱 | Aug 21, 2022 | |
HTML | 109 | A syntax highlighting library in Haskell, based on Kate syntax definitions | May 31, 2022 | |
HCL | 2 | 👣🤖Typescript Types definitions for Verdaccio | Jul 28, 2019 | |
Solidity | 3 | Typechain codegen for generating Typescript classes and types for elf-contracts | May 31, 2022 | |
TypeScript | 40 | Generate TypeScript definitions (types) from a PostgreSQL database schema. | Aug 29, 2022 | |
Haskell | 10 | Haskell routes using dependent types | Dec 12, 2020 | |
Go | 10 | A Golang library to create TypeScript definitions from Go types. | Apr 28, 2023 | |
Rust | 3 | Rust library for syntax highlighting using Sublime Text syntax definitions. | Dec 22, 2021 | |
Rust | 1408 | Rust library for syntax highlighting using Sublime Text syntax definitions. | Oct 11, 2022 | |
TypeScript | 14 | Gatsby plugin to automatically generate typescript typings using graphql-codegen | Dec 22, 2020 | |
Haskell | 263 | Fake dependent types in Haskell using singletons | Jul 17, 2022 | |
Haskell | 7 | Haskell bindings to libjq using linear types. | Nov 22, 2021 | |
JavaScript | 22 | Using JSDoc for Typescript Types | May 18, 2022 | |
TypeScript | 10 | Brainfuck interpreter using TypeScript types | Apr 10, 2023 | |
Haskell | 3 | Quotient types in Haskell using smart constructors, associated types, and MPTCs | Dec 05, 2019 | |
TypeScript | 95 | TypeScript code generation from a haskell-like syntax for ADT. Playground: | Jul 10, 2022 | |
TypeScript | 5 | Getting the best developer experience with GraphQL using TypeScript and Codegen | Nov 25, 2020 | |
Haskell | 122 | A preprocessor for a Haskell record syntax using dot | Aug 31, 2022 | |
Haskell | 58 | Syntax highlighter for Haskell using the lexer of GHC | Mar 27, 2023 | |
TypeScript | 10 | generate typescript types using a swagger schema | Mar 15, 2022 | |
None | 4 | Typescript definitions for OpenLayers 3 - please use https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/ol | Oct 30, 2018 | |
TypeScript | 2 | A sorting algorithm implemented purely using TypeScript types | Apr 17, 2022 | |
JavaScript | 3 | Standardised schema definitions for ssb message types using is-my-json-valid | Jul 03, 2020 | |
Haskell | 25 | An efficient syntax highlighting library in Haskell, using alex-generated lexers | Jun 13, 2020 | |
Emacs Lisp | 5 | Syntax-check haskell source in Emacs using both ghc and hlint | Jan 12, 2019 | |
TypeScript | 3 | Type definitions for using Iconify libraries and JSON files with TypeScript. | Nov 21, 2020 | |
TypeScript | 5 | Generate pact contracts using TypeScript type definitions and custom JSDoc tags. | Jan 23, 2023 | |
TypeScript | 38 | typescript: emitting types info for using in runtime (reflection) | Jul 29, 2022 | |
TypeScript | 32 | Autofix TypeScript types to be imported using `import type` | Jul 11, 2022 | |
Haskell | 181 | manipulate a php codebase using haskell to transform the abstract-syntax-tree | Jan 28, 2023 | |
Rust | 2 | SQL Types transpiles `CREATE TABLE` SQL code into type definitions in other languages such as … | Jan 28, 2023 | |
JavaScript | 3 | POC using typescript as an embedded language in haskell, via duktape | Aug 25, 2022 | |
TypeScript | 4 | The TypeScript definitions for unist now live on definitely typed, they can be installed with … | Mar 07, 2023 | |
TypeScript | 2 | Combine type and value imports using Typescript 4.5 type modifier syntax | Mar 23, 2022 | |
JavaScript | 18 | Generate type definitions for TypeScript, Flow, PropTypes, etc. by using examples of the data | Feb 04, 2022 | |
TypeScript | 12 | TypeScript transformer to validate types in runtime using JSON Schema and AJV | Apr 13, 2022 | |
TypeScript | 3 | Test your types using just the TypeScript compiler and no external tools. | Oct 18, 2022 | |
TypeScript | 6 | A TypeScript library for word case conversions, using Template Literal Types(TS >= 4.1). | Feb 16, 2023 | |
CMake | 31 | This repository contains a rich set of ROS data types in OMG IDL format. These … | Aug 11, 2022 | |
TypeScript | 3 | TypeScript runtime validator generator that creates validation functions from TypeScript types with custom validation rules … | May 01, 2023 | |
TypeScript | 4 | Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types | Dec 17, 2022 | |
TypeScript | 3 | This repository contains source code of comparing different types of sorting algorithms using typescript. | Mar 18, 2023 | |
JavaScript | 22 | Cloudflare Workers template for using esbuild and TypeScript with the ES modules syntax âš¡ | Mar 04, 2023 | |
TypeScript | 3 | a server and babel plugin to extract typescript types from runtime using a magic comment | Aug 05, 2022 | |
JavaScript | 80 | TypeScript type definitions for WebGPU (NOTE: the WebGPU API itself is still unstable! These types … | Aug 01, 2022 | |
JavaScript | 2 | 🗼An experimental implementation of first class functional types using pure ES at runtime, inspired by … | Jan 20, 2022 | |
Haskell | 2 | A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in … | Mar 05, 2023 | |
TypeScript | 17 | This is a sample application using GraphQL Code Generator to convert the GraphQL schema to … | Apr 30, 2023 | |
Scala | 4 | An interactive strawman proposal for a way we might consider using Scalaz 7 validations with … | May 26, 2018 | |
TypeScript | 3 | Proof of concept to check JSON types during runtime, based on Typescript interfaces (using code … | Apr 20, 2021 |