type-level
There are 39 repositories under type-level topic.
lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
higherkindness/mu-haskell
Mu (μ) is a purely functional framework for building micro services.
justinwoo/purescript-simple-json
A simple Purescript JSON library that uses types automatically
mieszkosabo/tartak
Tartak is a functional programming language that compiles to TypeScript types.
mieszkosabo/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.
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
kowainik/eio
🎯 IO with Exceptions tracked on the type-level
kowainik/type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
softwaremill/walk-that-type
A tool for evaluating TypeScript types step by step.
konn/type-natural
Type-level well-kinded natural numbers.
devanshj/prakaar
A type programming language which compiles to and interops with type-level TypeScript
beefyhalo/dense
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
justinwoo/purescript-kushiyaki
A library for PureScript 0.12 using Record-Format to parse urls with a template.
justinwoo/purescript-kushikatsu
Simple routing with Kushiyaki.
justinwoo/purescript-biang
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
justinwoo/purescript-jajanmen
Cool type-safe Symbol query parameterized helper for Node-SQLite3
0x414c/type-ops
A collection of useful operators to make type-level programming in TypeScript easier
Shou/type-operators
A collection of type-level operators
justinwoo/purescript-type-isequal
Type equality check returning a Boolean kind. Useful for type-level programming.
prostomarkeloff/enum-to-types
Macro for generating pseudo-enums for type-level programming.
WaffleLapkin/minihlist
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
zwx1127/HTensor
Haskell type-level multi-dimensional array
kutyel/thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
justinwoo/purescript-chahan
Turn your Generics-Rep Sums and Products into lists, because that's cool.
justinwoo/purescript-naporitan
Because sometimes, you want a reflected record of proxies to make life easier.
justinwoo/purescript-shoronpo
A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels
propensive/typonym
Collections raised to the type-level in Scala
InternetOfPins/OneBit
Bit operations and bit fields at type level
justinwoo/purescript-xiaomian
Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
lue-bird/elm-bounded-nat
natural number in a typed range
yulmwu/type
Type Level programming with TypeScript
Logarithmus/typelist
Type-level sortable singly linked list
Logarithmus/typenum_alias
Strong aliases for https://lib.rs/typenum, powered by const generics
justinwoo/purescript-dango
A fun library for sized lists in PureScript 0.12 using Symbols
ropoko/type-level-automata
type-level definition of an automata to check grammar and sentences meaning
SeungUkLee/learning-type-challenges
Learn advanced types of typescript with type-challenges