witchcrafters / witchcraft Star 1.2k Code Issues Pull requests Discussions Monads and other dark magic for Elixir elixir algebra algebraic-data-types monad functor operators category applicative type-class traversable Updated Aug 28, 2023 Elixir
scalalandio / enumz Star 30 Code Issues Pull requests One enum type class to rule them all scala enum enumeration enumerator type-class java-enums Updated Jun 23, 2026 Scala
broom-lang / broom Star 14 Code Issues Pull requests A programming language with first-class modules and algebraic effects. programming-language algebraic-effects modules compiler broom implicit type-inference type-class generalized-algebraic-data-type row-polymorphism Updated Dec 3, 2022 OCaml
ThoughtWorksInc / Constructor.scala Star 10 Code Issues Pull requests Mixin classes and traits dynamically scala macro mixin type-class factory-pattern constructors Updated Sep 4, 2017 Scala
kevin-lee / logger-f Sponsor Star 10 Code Issues Pull requests logger-f, Logger for F[_] scala functional-programming logger fp typeclass type-class tagless-final finally-tagless higher-kinded-types tagless Updated Aug 31, 2026 Scala
joutvhu / date-parser Star 2 Code Issues Pull requests Utility to parse String to Date according to a target class, and the pattern strings. And format Date to String based on a pattern string. parser time date type-class Updated Jul 28, 2023 Java
mori0091 / cparsec3 Star 1 Code Issues Pull requests CPARSEC3 - a parser-combinator library for C11, 3rd generation. parser-combinators trait generics generic-programming c11 parsec type-class meta-programming generic-types preprocessor-macros Updated Apr 19, 2021 C