Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Typelevel Type Level Programming Open Source Projects

Open source projects categorized as Typelevel Type Level Programming
Categories > Type Level Programming
Categories > Compilers > Typelevel
Frunk ⭐ 1,099
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
dependent packages 47total releases 47most recent commit 8 months agocargo frunk} Downloads
Mu Haskell ⭐ 311
Mu (μ) is a purely functional framework for building micro services.
most recent commit a year ago
Dilate ⭐ 80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
total releases 2most recent commit 7 years ago
Type Operators Rs ⭐ 35
A macro for defining type operators in Rust.
dependent packages 1total releases 12most recent commit 7 years agocargo type-operators} Downloads
Walk That Type ⭐ 19
A tool for evaluating TypeScript types step by step.
most recent commit 5 months ago
Dense ⭐ 8
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
most recent commit 8 years ago
The 2 Most Depended On Typelevel Type Level Programming Open Source Projects
Frunk ⭐ 1,099
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
dependent packages 47total releases 47latest release June 17, 2023most recent commit 8 months agocargo frunk} Downloads
Type Operators Rs ⭐ 35
A macro for defining type operators in Rust.
dependent packages 1total releases 12latest release March 08, 2017most recent commit 7 years agocargo type-operators} Downloads
The 4 Latest Releases In Typelevel Type Level Programming Open Source Projects
Frunk ⭐ 1,099
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
dependent packages 47total releases 47latest release June 17, 2023most recent commit 8 months agocargo frunk} Downloads
Type Operators Rs ⭐ 35
A macro for defining type operators in Rust.
dependent packages 1total releases 12latest release March 08, 2017most recent commit 7 years agocargo type-operators} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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