Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types type level programming
type-level-programming
x
types
x
10 search results found
Ts Essentials
⭐
3,539
All essential TypeScript types in one place 🤙
Frunk
⭐
1,099
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Type Plus
⭐
333
Additional types and types adjusted utilities for TypeScript
Type Level Typescript Workshop
⭐
157
Interactive exercises to get familiar with TypeScript's most advanced features
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.
Feature.scala
⭐
27
Access Scala language features on the type-level
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 Typedefs
⭐
11
A handy collection of TypeScript plain and generic type definitions and interfaces.
Dense
⭐
8
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Ghc Typelits Symbols
⭐
6
Additional operations for GHC's type-level symbols
Typology
⭐
6
Playground for exploring type-level programming.
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
C Plus Plus Types (1,282)
Types Haskell (1,026)
Rust Types (727)
Scala Types (654)
Types Definition (522)
Types Language (478)
Types Struct (430)
Testing Types (423)
1-10 of 10 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.