lloydmeta/frunk

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

Language: Rust - Size: 11.9 MB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 1,349 - Forks: 59

sdleffler/type-operators-rs

A macro for defining type operators in Rust.

Language: Rust - Size: 597 KB - Last synced at: 10 days ago - Pushed at: over 8 years ago - Stars: 64 - Forks: 2

justinwoo/purescript-kushikatsu

Simple routing with Kushiyaki.

Language: PureScript - Size: 3.91 KB - Last synced at: 7 days ago - Pushed at: almost 7 years ago - Stars: 10 - Forks: 0

softwaremill/walk-that-type

A tool for evaluating TypeScript types step by step.

Language: TypeScript - Size: 6.6 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 43 - Forks: 0

kowainik/type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

Language: Haskell - Size: 27.3 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 56 - Forks: 8

zwx1127/HTensor

Haskell type-level multi-dimensional array

Language: Haskell - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 1

higherkindness/mu-haskell 📦

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

Language: Haskell - Size: 10.5 MB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 334 - Forks: 19

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.

Language: TypeScript - Size: 133 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 94 - Forks: 5

mieszkosabo/tartak

Tartak is a functional programming language that compiles to TypeScript types.

Language: TypeScript - Size: 222 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 111 - Forks: 0

propensive/typonym

Collections raised to the type-level in Scala

Language: Scala - Size: 646 KB - Last synced at: about 1 hour ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

konn/type-natural

Type-level well-kinded natural numbers.

Language: Haskell - Size: 555 KB - Last synced at: 25 days ago - Pushed at: 6 months ago - Stars: 34 - Forks: 12

kutyel/thinking-with-types

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

Language: Haskell - Size: 116 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1

justinwoo/purescript-simple-json

A simple Purescript JSON library that uses types automatically

Language: PureScript - Size: 130 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 134 - Forks: 44

devanshj/prakaar

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

Language: TypeScript - Size: 53.7 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 20 - 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 at: about 22 hours ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 0

kowainik/eio

🎯 IO with Exceptions tracked on the type-level

Language: Haskell - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 58 - Forks: 2

lue-bird/elm-bounded-nat

natural number in a typed range

Language: HTML - Size: 866 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1

yulmwu/type 📦

Type Level programming with TypeScript

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

InternetOfPins/OneBit

Bit operations and bit fields at type level

Language: C++ - Size: 211 KB - Last synced at: almost 2 years ago - Pushed at: about 7 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 at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

0x414c/type-ops

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

Language: TypeScript - Size: 354 KB - Last synced at: 26 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 0

Shou/type-operators

A collection of type-level operators

Language: Haskell - Size: 6.84 KB - Last synced at: about 23 hours ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 1

WaffleLapkin/minihlist

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

Language: Rust - Size: 39.1 KB - Last synced at: about 4 hours ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

Logarithmus/typelist

Type-level sortable singly linked list

Language: Rust - Size: 28.3 KB - Last synced at: 9 days ago - Pushed at: almost 3 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 at: 9 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

beefyhalo/dense

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

Language: Scala - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 8 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 at: 2 days ago - Pushed at: over 3 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 at: about 22 hours ago - Pushed at: over 3 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 at: 5 days ago - Pushed at: almost 5 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 at: about 1 month ago - Pushed at: about 6 years ago - Stars: 7 - 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 at: about 1 month ago - Pushed at: about 7 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 at: about 22 hours ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

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 at: 2 days ago - Pushed at: almost 7 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 at: 4 months ago - Pushed at: almost 7 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 at: about 1 month ago - Pushed at: about 7 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 at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

joewkr/SIUnits

Language: Haskell - Size: 77.1 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0