type-level
There are 0 repository under type-level topic.
lloydmeta / frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language:Rust 1394higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
Language:Haskell 335codpro2005 / ts-regexp
A RegExp wrapper providing stronger type safety.
Language:TypeScript 316justinwoo / purescript-simple-json
A simple Purescript JSON library that uses types automatically
Language:PureScript 134mieszkosabo / tartak
Tartak is a functional programming language that compiles to TypeScript types.
Language:TypeScript 118A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Proxies and type-level programming.
Language:TypeScript 94sdleffler / type-operators-rs
A macro for defining type operators in Rust.
Language:Rust 65- Language:Haskell 58
kowainik / type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
Language:Haskell 56softwaremill / walk-that-type
A tool for evaluating TypeScript types step by step.
Language:TypeScript 45konn / type-natural
Type-level well-kinded natural numbers.
Language:Haskell 35devanshj / prakaar
A type programming language which compiles to and interops with type-level TypeScript
Language:TypeScript 22- Language:Scala 11
- Language:PureScript 10
A library for PureScript 0.12 using Record-Format to parse urls with a template.
Language:PureScript 10A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Language:PureScript 8Cool type-safe Symbol query parameterized helper for Node-SQLite3
Language:PureScript 70x414c / type-ops
A collection of useful operators to make type-level programming in TypeScript easier
Language:TypeScript 6Shou / type-operators
A collection of type-level operators
Language:Haskell 6Type equality check returning a Boolean kind. Useful for type-level programming.
Language:PureScript 5kutyel / thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
Language:Haskell 4prostomarkeloff / enum-to-types
Macro for generating pseudo-enums for type-level programming.
Language:Rust 4WaffleLapkin / minihlist
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
Language:Rust 4- Language:Haskell 4
propensive / typonym
Collections raised to the type-level in Scala
Language:Scala 3Turn your Generics-Rep Sums and Products into lists, because that's cool.
Language:PureScript 2Because sometimes, you want a reflected record of proxies to make life easier.
Language:PureScript 2A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels
Language:PureScript 2Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
Language:PureScript 1- elm-bounded-natLanguage:HTML 1
Logarithmus / typelist
Type-level sortable singly linked list
Language:Rust 0Strong aliases for https://lib.rs/typenum, powered by const generics
Language:Rust 0ropoko / type-level-automata
type-level definition of an automata to check grammar and sentences meaning
Language:TypeScriptSeungUkLee / learning-type-challenges
Learn advanced types of typescript with type-challenges
Language:TypeScript
