Awesome Open Source

Programming Languages

Search results for typelevel type level programming

type-level-programming x

1 search results found

Frunk ⭐ 1,099

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

Mu Haskell ⭐ 311

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

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Type Operators Rs ⭐ 35

A macro for defining type operators in Rust.

Walk That Type ⭐ 19

A tool for evaluating TypeScript types step by step.

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

Related Searches

Scala Typelevel (123)

Types Typelevel (46)

Types Type Level Programming (18)

Shapeless Typelevel (17)

Typescript Type Level Programming (13)

Haskell Type Level Programming (12)

Scala Type Level Programming (8)

Typescript Typelevel (6)

Rust Type Level Programming (4)

Dependent Types Type Level Programming (4)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.