proxy.golang.org "type-level-programming" keyword
Top 5.6% on proxy.golang.org
153 versions - Latest release: almost 3 years ago - 401 stars on GitHub
github.com/unional/type-plus v7.0.1+incompatible 💰
Additional types and types adjusted utilities for TypeScript153 versions - Latest release: almost 3 years ago - 401 stars on GitHub
Top 6.7% on proxy.golang.org
62 versions - Latest release: 10 months ago - 3,990 stars on GitHub
github.com/ts-essentials/ts-essentials v10.1.1+incompatible
All essential TypeScript types in one place 🤙62 versions - Latest release: 10 months ago - 3,990 stars on GitHub
Top 5.6% on proxy.golang.org
2 versions - Latest release: over 5 years ago - 334 stars on GitHub
github.com/higherkindness/mu-haskell v0.4.1
Mu (μ) is a purely functional framework for building micro services.2 versions - Latest release: over 5 years ago - 334 stars on GitHub
Top 5.6% on proxy.golang.org
2 versions - Latest release: over 8 years ago - 363 stars on GitHub
github.com/dimasamoz/mezzo v0.3.1
A Haskell library for typesafe music composition2 versions - Latest release: over 8 years ago - 363 stars on GitHub
Top 5.7% on proxy.golang.org
5 versions - Latest release: almost 6 years ago - 25 stars on GitHub
github.com/danieljharvey/purescript-refined v1.0.0
Purescript refinement types with runtime checking5 versions - Latest release: almost 6 years ago - 25 stars on GitHub
Top 5.6% on proxy.golang.org
2 versions - Latest release: over 8 years ago - 363 stars on GitHub
github.com/DimaSamoz/mezzo v0.3.1
A Haskell library for typesafe music composition2 versions - Latest release: over 8 years ago - 363 stars on GitHub
Related Keywords
haskell
3
types
2
typescript
2
music-notation
2
music-composition
2
midi
2
haskell-library
2
dependent-types
2
refined
1
purescript
1
type-level
1
rpc
1
protocol-buffers
1
mu-haskell
1
mu-graphql
1
mu
1
monads
1
hacktoberfest
1
grpc
1
graphql
1
defines-schemas
1
avro
1
toolbox
1
essentials
1
utilities
1
typescript-definitions
1
type-system
1
npm-package
1