Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types family
family
x
types
x
9 search results found
Typetheory
⭐
106
The mathematical study of type theories, in univalent foundations
Versioning
⭐
98
Type-safe data versioning.
Row Types
⭐
97
A Haskell library for open records and variants using closed type families and type literals
Dimensional
⭐
94
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
Piazzolla
⭐
86
Piazzolla type family
First Class Families
⭐
76
First-class type families
Mongodb Go Tutorial
⭐
63
Example using the MongoDB Go Driver
Catamaran Tamil
⭐
51
9 weight Tamil type-family
Saira
⭐
48
Saira typeface is part of the new Omnibus-Type Press Series
Purescript Typelevel Eval
⭐
37
Higher order functional programming in PureScript's type system
Easytensor
⭐
35
Many-dimensional type-safe numeric ops
Grenze
⭐
33
Types As Specifications
⭐
33
Jxt Xmpp
⭐
21
JXT definitions for XMPP
Grenze Gotisch
⭐
21
Ghc Typelits Knownnat
⭐
14
Derive KnownNat constraints from other KnownNat constraints
Magic Typelevel Elem
⭐
9
Demonstrating how to make type families faster using typechecker plugins
Cobalt
⭐
9
COnstraint-BAsed Little Typechecker
Type Lambda
⭐
9
First-class type-level functions
Bob19 Tutorial Types
⭐
8
Type Function
⭐
8
Type-level functional programming
Jaldi
⭐
7
Jaldi is a libre Devanagari typeface family designed as a complement to Asap
Family Genealogy Database
⭐
7
Data model, SQL, and supporting materials for a personal Family Genealogy Database implemented with PostgreSQL
Family
⭐
6
Like a Typed Array, actually more flexible
Indind Agda
⭐
6
Mashpack
⭐
6
Mashpack - JSON-Object Serialization and Compression
Grotesca Reforma
⭐
6
Grotesca Reforma Variável, an experimental type revival.
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.