lloydmeta/frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Language: Rust - Size: 11 MB - Last synced: 5 days ago - Pushed: 15 days ago - Stars: 1,206 - Forks: 56

kowainik/type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

Language: Haskell - Size: 27.3 KB - Last synced: 20 days ago - Pushed: about 2 years ago - Stars: 55 - Forks: 8

sdleffler/type-operators-rs

A macro for defining type operators in Rust.

Language: Rust - Size: 597 KB - Last synced: 4 days ago - Pushed: about 7 years ago - Stars: 63 - Forks: 2

higherkindness/mu-haskell

Mu (μ) is a purely functional framework for building micro services.

Language: Haskell - Size: 10.5 MB - Last synced: 9 days ago - Pushed: over 1 year ago - Stars: 327 - Forks: 19

propensive/typonym

Collections raised to the type-level in Scala

Language: Scala - Size: 313 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

justinwoo/purescript-simple-json

A simple Purescript JSON library that uses types automatically

Language: PureScript - Size: 130 KB - Last synced: 29 days ago - Pushed: 12 months ago - Stars: 134 - Forks: 46

softwaremill/walk-that-type

A tool for evaluating TypeScript types step by step.

Language: TypeScript - Size: 6.6 MB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 31 - Forks: 0

justinwoo/purescript-kushikatsu

Simple routing with Kushiyaki.

Language: PureScript - Size: 3.91 KB - Last synced: 12 days ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 0

kowainik/eio

🎯 IO with Exceptions tracked on the type-level

Language: Haskell - Size: 14.6 KB - Last synced: 3 months ago - Pushed: about 3 years ago - Stars: 57 - Forks: 2

devanshj/prakaar

A type programming language which compiles to and interops with type-level TypeScript

Language: TypeScript - Size: 53.7 KB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 18 - Forks: 0

yulmwu/type 📦

Type Level programming with TypeScript

Size: 809 KB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

InternetOfPins/OneBit

Bit operations and bit fields at type level

Language: C++ - Size: 211 KB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 1

syallop/Named

Associate type-level names to values in a heterogeneous non-empty list

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

konn/type-natural

Type-level well-kinded natural numbers.

Language: Haskell - Size: 456 KB - Last synced: 20 days ago - Pushed: 5 months ago - Stars: 33 - Forks: 12

0x414c/type-ops

A collection of useful operators to make type-level programming in TypeScript easier

Language: TypeScript - Size: 354 KB - Last synced: 3 days ago - Pushed: about 5 years ago - Stars: 6 - Forks: 0

Shou/type-operators

A collection of type-level operators

Language: Haskell - Size: 6.84 KB - Last synced: 3 months ago - Pushed: about 5 years ago - Stars: 6 - Forks: 0

lue-bird/elm-bounded-nat

natural number in a typed range

Language: HTML - Size: 866 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 1

WaffleLapkin/minihlist

A minimalistic yet powerful HList (heterogeneous list) implementation in Rust

Language: Rust - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0

Logarithmus/typelist

Type-level sortable singly linked list

Language: Rust - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Logarithmus/typenum_alias

Strong aliases for https://lib.rs/typenum, powered by const generics

Language: Rust - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

kutyel/thinking-with-types

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

Language: Haskell - Size: 116 KB - Last synced: 20 days ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

beefyhalo/dense

A Type-Level Encoding of Natural Numbers as a Linked List of Bits

Language: Scala - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 10 - Forks: 1

justinwoo/purescript-shoronpo

A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels

Language: PureScript - Size: 5.86 KB - Last synced: 10 days ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

justinwoo/purescript-naporitan

Because sometimes, you want a reflected record of proxies to make life easier.

Language: PureScript - Size: 3.91 KB - Last synced: 12 days ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2

prostomarkeloff/enum-to-types

Macro for generating pseudo-enums for type-level programming.

Language: Rust - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0

justinwoo/purescript-jajanmen

Cool type-safe Symbol query parameterized helper for Node-SQLite3

Language: PureScript - Size: 954 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 7 - Forks: 0

justinwoo/purescript-kushiyaki

A library for PureScript 0.12 using Record-Format to parse urls with a template.

Language: PureScript - Size: 7.81 KB - Last synced: 12 days ago - Pushed: almost 6 years ago - Stars: 9 - Forks: 0

justinwoo/purescript-chahan

Turn your Generics-Rep Sums and Products into lists, because that's cool.

Language: PureScript - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

justinwoo/purescript-type-isequal

Type equality check returning a Boolean kind. Useful for type-level programming.

Language: PureScript - Size: 2.93 KB - Last synced: 12 days ago - Pushed: over 4 years ago - Stars: 5 - Forks: 1

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.

Language: PureScript - Size: 2.93 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

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.

Language: PureScript - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 0

justinwoo/purescript-dango

A fun library for sized lists in PureScript 0.12 using Symbols

Language: PureScript - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

justinwoo/get-nested-keys

An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.

Language: PureScript - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

joewkr/SIUnits

Language: Haskell - Size: 77.1 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0