typelevel-parser
Type-based DSL
An experiment in building a domain-specific language (DSL) to query structured objects using TypeScript's type system
Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely on type-level.
143 stars
5 watching
12 forks
Language: TypeScript
last commit: 8 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| anuraghazra/type-trident | A curated collection of advanced type level programming exercises and examples in TypeScript | 351 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 936 |
| typelevel/cats-parse | A Scala parsing library designed to be compatible, performant, safe, and stable across various platforms and versions. | 233 |
 microsoft/typescript | A language extension that adds optional types to JavaScript for large-scale applications | 101,167 |
| typelevel/laika | A tool that helps generate documents with customizable text markup and support for multiple output formats | 415 |
 mistlog/typetype | A TypeScript library for generating complex types from functional logic | 416 |
 twinlogix/typetta | A TypeScript-based ORM that provides a typed and flexible interface to various databases and NoSQL data stores. | 108 |
 kolpakov-p/zod-to-nestjs-graphql | A package to generate GraphQL types from zod contracts in TypeScript. | 20 |
 haskell-servant/servant | A Haskell-based type-level web development framework | 1,826 |
 sachinraja/zod-to-ts | Generates TypeScript types from Zod schemas. | 346 |
 gurukami/typ | A library providing safe conversion and data retrieval functions from complex structures to basic types in Go. | 46 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 ruippeixotog/scala-scraper | A Scala library that provides a domain-specific language (DSL) for parsing and extracting content from HTML pages. | 717 |
| typelevel/skunk | A data access library for building Scala applications that interact with Postgres databases. | 1,588 |