Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Level Programming Open Source Projects

Open source projects categorized as Type Level Programming
Categories > Type Level Programming
Ts Essentials ⭐ 3,539
All essential TypeScript types in one place 🤙
dependent packages 771total releases 56most recent commit 8 months agonpm ts-essentials} Downloads
Hotscript ⭐ 3,213
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
dependent packages 43total releases 18most recent commit 6 months agonpm hotscript} Downloads
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 10 months agocargo frunk} Downloads
Generic Lens ⭐ 430
Generically derive traversals, lenses, and prisms.
total releases 20most recent commit a year ago
Type Plus ⭐ 333
Additional types and types adjusted utilities for TypeScript
dependent packages 67total releases 162most recent commit 5 months agonpm type-plus} Downloads
Mezzo ⭐ 315
A Haskell library for typesafe music composition
total releases 6most recent commit 5 years ago
Mu Haskell ⭐ 311
Mu (μ) is a purely functional framework for building micro services.
most recent commit a year ago
Type Level Typescript Workshop ⭐ 157
Interactive exercises to get familiar with TypeScript's most advanced features
most recent commit a year ago
Free Types ⭐ 127
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
dependent packages 3total releases 29most recent commit 10 months agonpm free-types} Downloads
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
Learn Me A Haskell ⭐ 56
Trying to get back all the stuff I had in JavaScript.
most recent commit 6 years ago
Membrain ⭐ 52
🧠 Type-safe memory units
most recent commit 4 years ago
O Clock ⭐ 49
⌛ Type-safe time units in Haskell
total releases 12most recent commit 5 months ago
Hashedexpression ⭐ 41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
most recent commit a year 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
Symbols ⭐ 33
Symbol manipulation
most recent commit a year ago
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38most recent commit 4 years ago
Primitive Recursive Functions ⭐ 26
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
most recent commit 6 years ago
Walk That Type ⭐ 19
A tool for evaluating TypeScript types step by step.
most recent commit 7 months ago
Purescript Refined ⭐ 19
Purescript refinement types with runtime checking
most recent commit 4 years ago
Red Black Record ⭐ 16
Extensible records and variants indexed by a type-level Red-Black tree.
most recent commit 3 years ago
Ts Spec ⭐ 13
A small library for testing your types
dependent packages 4total releases 20most recent commit 10 months agonpm ts-spec} Downloads
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22most recent commit 10 months agonpm type-lenses} Downloads
The 10 Most Depended On Type Level Programming Open Source Projects
Ts Essentials ⭐ 3,539
All essential TypeScript types in one place 🤙
dependent packages 771total releases 56latest release October 05, 2023most recent commit 8 months agonpm ts-essentials} Downloads
Type Plus ⭐ 333
Additional types and types adjusted utilities for TypeScript
dependent packages 67total releases 162latest release September 13, 2023most recent commit 5 months agonpm type-plus} Downloads
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 10 months agocargo frunk} Downloads
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38latest release August 07, 2018most recent commit 4 years ago
Ts Spec ⭐ 13
A small library for testing your types
dependent packages 4total releases 20latest release September 03, 2023most recent commit 10 months agonpm ts-spec} Downloads
Ts Typedefs ⭐ 11
A handy collection of TypeScript plain and generic type definitions and interfaces.
dependent packages 3total releases 32latest release December 13, 2019most recent commit 2 years agonpm ts-typedefs} Downloads
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22latest release August 24, 2023most recent commit 10 months agonpm type-lenses} Downloads
Ts Transfromer Typerep ⭐ 11
Bring type level information to value level.
dependent packages 1total releases 7latest release April 06, 2021most recent commit 3 years agonpm ts-transformer-typerep} Downloads
The 10 Latest Releases In Type Level Programming Open Source Projects
Ts Essentials ⭐ 3,539
All essential TypeScript types in one place 🤙
dependent packages 771total releases 56latest release October 05, 2023most recent commit 8 months agonpm ts-essentials} Downloads
O Clock ⭐ 49
:hourglass: Type-safe time units in Haskell
total releases 12latest release September 22, 2023most recent commit 5 months ago
Type Plus ⭐ 333
Additional types and types adjusted utilities for TypeScript
dependent packages 67total releases 162latest release September 13, 2023most recent commit 5 months agonpm type-plus} Downloads
Ts Spec ⭐ 13
A small library for testing your types
dependent packages 4total releases 20latest release September 03, 2023most recent commit 10 months agonpm ts-spec} Downloads
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22latest release August 24, 2023most recent commit 10 months agonpm type-lenses} Downloads
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 10 months agocargo frunk} Downloads
Generic Lens ⭐ 430
Generically derive traversals, lenses, and prisms.
total releases 20latest release April 15, 2023most recent commit a year ago
Ghc Typelits Presburger ⭐ 6
Presburger arithmetic solver for built-in type-level naturals
total releases 20latest release March 20, 2023most recent commit 6 months ago
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.