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: 8 days ago - Pushed at: about 2 months ago - Stars: 1,338 - Forks: 59

higherkindness/mu-haskell 📦

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

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

justinwoo/purescript-simple-json

A simple Purescript JSON library that uses types automatically

Language: PureScript - Size: 130 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 134 - Forks: 46

sdleffler/type-operators-rs

A macro for defining type operators in Rust.

Language: Rust - Size: 597 KB - Last synced at: 23 days ago - Pushed at: about 8 years ago - Stars: 65 - Forks: 2

kowainik/eio

🎯 IO with Exceptions tracked on the type-level

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

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: about 3 years ago - Stars: 56 - Forks: 8

softwaremill/walk-that-type

A tool for evaluating TypeScript types step by step.

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

konn/type-natural

Type-level well-kinded natural numbers.

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

devanshj/prakaar

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

Language: TypeScript - Size: 53.7 KB - Last synced at: 29 days ago - Pushed at: over 2 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: 13 days ago - Pushed at: almost 7 years ago - Stars: 10 - 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-kushikatsu

Simple routing with Kushiyaki.

Language: PureScript - Size: 3.91 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 9 - 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: 2 months ago - Pushed at: over 6 years ago - Stars: 8 - 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

mieszkosabo/tartak

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

Language: TypeScript - Size: 222 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 6 - Forks: 0

Shou/type-operators

A collection of type-level operators

Language: Haskell - Size: 6.84 KB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1

0x414c/type-ops

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

Language: TypeScript - Size: 354 KB - Last synced at: 9 days ago - Pushed at: about 6 years ago - Stars: 6 - 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: 13 days ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

zwx1127/HTensor

Haskell type-level multi-dimensional array

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

WaffleLapkin/minihlist

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

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

prostomarkeloff/enum-to-types

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

Language: Rust - Size: 2.93 KB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 4 - 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 at: 22 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1

propensive/typonym

Collections raised to the type-level in Scala

Language: Scala - Size: 646 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

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: 13 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: 13 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2

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: 2 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

lue-bird/elm-bounded-nat

natural number in a typed range

Language: HTML - Size: 866 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

yulmwu/type 📦

Type Level programming with TypeScript

Size: 809 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - 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: 13 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

InternetOfPins/OneBit

Bit operations and bit fields at type level

Language: C++ - Size: 211 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1

Logarithmus/typelist

Type-level sortable singly linked list

Language: Rust - Size: 28.3 KB - Last synced at: 6 days ago - Pushed at: over 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 at: 6 days ago - Pushed at: over 2 years ago - Stars: 0 - 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: 2 months ago - Pushed at: almost 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: 2 months 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

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: about 9 years ago - Stars: 0 - Forks: 0