7 results found Sort:

softwaremill
magnolia softwaremill
118
773
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 about a month ago
dmjio
envy dmjio
26
151
other
6
:angry: Environmentally friendly environment variables
envy system hackage haskell generics typeclass environment-variables
Created 2015-06-26
145 commits to master branch, last one 12 days 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 2 months ago
witchcrafters
type_class witchcrafters
16
139
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
72
unknown
4
Functional programming in Typescript
typeclass typescript functional-programming
Created 2023-12-29
225 commits to main branch, last one 8 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 5 months ago
TotallyNotChase
typeclass-interface-pattern TotallyNotChase
2
44
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