Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for type level programming
type-level-programming
x
32 search results found
Ts Essentials
⭐
3,539
All essential TypeScript types in one place 🤙
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.
Frunk
⭐
1,099
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Generic Lens
⭐
430
Generically derive traversals, lenses, and prisms.
Type Plus
⭐
333
Additional types and types adjusted utilities for TypeScript
Mezzo
⭐
315
A Haskell library for typesafe music composition
Mu Haskell
⭐
311
Mu (μ) is a purely functional framework for building micro services.
Type Level Typescript Workshop
⭐
157
Interactive exercises to get familiar with TypeScript's most advanced features
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.
Dilate
⭐
80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Learn Me A Haskell
⭐
56
Trying to get back all the stuff I had in JavaScript.
Membrain
⭐
52
🧠 Type-safe memory units
O Clock
⭐
49
⌛ Type-safe time units in Haskell
Hashedexpression
⭐
41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Type Operators Rs
⭐
35
A macro for defining type operators in Rust.
Symbols
⭐
33
Symbol manipulation
Feature.scala
⭐
27
Access Scala language features on the type-level
Primitive Recursive Functions
⭐
26
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
Walk That Type
⭐
19
A tool for evaluating TypeScript types step by step.
Purescript Refined
⭐
19
Purescript refinement types with runtime checking
Red Black Record
⭐
16
Extensible records and variants indexed by a type-level Red-Black tree.
Ts Spec
⭐
13
A small library for testing your types
Type Lenses
⭐
12
Extract or modify pieces of arbitrarily nested types with type lenses
Ts Typedefs
⭐
11
A handy collection of TypeScript plain and generic type definitions and interfaces.
Ts Transfromer Typerep
⭐
11
Bring type level information to value level.
Typed List
⭐
9
A linked list with compile time size.
Dag
⭐
9
A well-typed Directed Acyclic Graph in Haskell
Dense
⭐
8
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Typology
⭐
6
Playground for exploring type-level programming.
Ghc Typelits Symbols
⭐
6
Additional operations for GHC's type-level symbols
Ghc Typelits Presburger
⭐
6
Presburger arithmetic solver for built-in type-level naturals
Paraten
⭐
5
Tensor on Spark.
Related Searches
Types Type Level Programming (18)
Typescript Type Level Programming (13)
Haskell Type Level Programming (12)
Scala Type Level Programming (8)
Typelevel Type Level Programming (8)
Rust Type Level Programming (4)
Dependent Types Type Level Programming (4)
Testing Type Level Programming (3)
Ghc Type Level Programming (3)
Type Level Programming Hkt (3)
1-32 of 32 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.