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 1208higherkindness / mu-haskell
Mu (μ) is a purely functional framework for building micro services.
Language:Haskell 327justinwoo / purescript-simple-json
A simple Purescript JSON library that uses types automatically
Language:PureScript 133mieszkosabo / correttore
A 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 84sdleffler / type-operators-rs
A macro for defining type operators in Rust.
Language:Rust 63- Language:Haskell 58
kowainik / type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
Language:Haskell 55konn / type-natural
Type-level well-kinded natural numbers.
Language:Haskell 33softwaremill / walk-that-type
A tool for evaluating TypeScript types step by step.
Language:TypeScript 32devanshj / prakaar
A type programming language which compiles to and interops with type-level TypeScript
Language:TypeScript 19- Language:Scala 10
A library for PureScript 0.12 using Record-Format to parse urls with a template.
Language:PureScript 9A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Language:PureScript 8- Language:PureScript 8
Cool 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 5prostomarkeloff / 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
kutyel / thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
Language:Haskell 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 2InternetOfPins / OneBit
Bit operations and bit fields at type level
Language:C++ 1Make 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
propensive / typonym
Collections raised to the type-level in Scala
Language:Scala 1- Language:Haskell 0
Logarithmus / typelist
Type-level sortable singly linked list
Language:Rust 0Strong aliases for https://lib.rs/typenum, powered by const generics
Language:Rust 0An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.
Language:PureScriptA fun library for sized lists in PureScript 0.12 using Symbols
Language:PureScriptSeungUkLee / learning-type-challenges
Learn advanced types of typescript with type-challenges
Language:TypeScript
