Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for refinement types refined
refined
x
refinement-types
x
4 search results found
Phantom Types
⭐
171
Phantom types for Python.
Idris Refined
⭐
15
Port of Scala/Haskell Refined library to Idris
Extras
⭐
13
A few extra tools
Krefty
⭐
8
Proper types for your domain
Refined4s
⭐
7
newtype and refinement (refined) type for Scala 3
Related Searches
Scala Refined (15)
Scala Refinement Types (10)
Cats Refined (6)
Newtype Refined (6)
Functional Programming Refined (6)
Functional Programming Refinement Types (5)
Http4s Refined (5)
Haskell Refinement Types (5)
Scala Refined Types (4)
Functional Programming Refined Types (4)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.