7 results found Sort:

softwaremill
magnolia softwaremill
117
768
apache-2.0
46
Easy, fast, transparent generic derivation of typeclass instances
scala datatypes typeclass typeclasses implicit-search generic-derivation derives-typeclasses generic-programming magnolia-derivation typeclass-derivation
Created 2017-06-06
833 commits to scala3 branch, last one 8 days ago
dmjio
envy dmjio
26
150
other
6
:angry: Environmentally friendly environment variables
envy system hackage haskell generics typeclass environment-variables
Created 2015-06-26
144 commits to master branch, last one 7 months ago
erikerlandson
coulomb erikerlandson
9
142
apache-2.0
8
coulomb: unit analysis for Scala
scala units numeric refined typeclass typelevel pureconfig avro-schema type-safety static-types typechecking configuration unit-analysis unit-quantity unit-conversion units-of-measure dimensional-analysis configuration-management
Created 2017-01-10
371 commits to scala3 branch, last one about a month ago
witchcrafters
type_class witchcrafters
16
140
mit
8
(Semi-)principled type classes for Elixir
elixir macros protocol hierarchy typeclass
Created 2016-10-05
136 commits to main branch, last one 2 years ago
ecyrbe
typeskell ecyrbe
2
71
unknown
4
Functional programming in Typescript
typeclass typescript functional-programming
Created 2023-12-29
225 commits to main branch, last one 7 months ago
wbbradley
ace wbbradley
2
47
other
3
A statically-typed strictly-evaluated garbage-collected readable programming language.
ffi llvm zion compiler newtypes system-f typeclass type-safety polymorphism llvm-compiler static-typing hindley-milner garbage-collect lambda-calculus programming-language
Created 2019-04-29
1,041 commits to master branch, last one 4 months ago
TotallyNotChase
typeclass-interface-pattern TotallyNotChase
2
43
mit
6
Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
c c90 c99 interface typeclass typeclasses polymorphism
Created 2021-06-03
20 commits to master branch, last one 3 years ago