7 results found Sort:

softwaremill
magnolia softwaremill
115
753
apache-2.0
45
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
822 commits to scala3 branch, last one 11 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 3 months ago
erikerlandson
coulomb erikerlandson
9
142
apache-2.0
9
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
361 commits to scala3 branch, last one 10 days 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
1
61
unknown
3
Functional programming in Typescript
typeclass typescript functional-programming
Created 2023-12-29
225 commits to main branch, last one 2 months ago
zionlang
zion zionlang
2
46
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,033 commits to master branch, last one about a year ago
TotallyNotChase
typeclass-interface-pattern TotallyNotChase
2
40
mit
5
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