implicits
There are 25 repositories under implicits topic.
tek/splain
better implicit errors for scala
scalalandio/pulp
Scala library for guiceless dependency injection
7mind/no-more-orphans
Companion repository for 'No More Orphans'
rchillyard/TableParser
Scala parser of Csv files
MateuszKubuszok/derivation-benchmarks
Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation
ajrouvoet/implicits.agda
Mechanized formalization of Implicit resolution in Agda
MateuszKubuszok/SlowAutoInconvenientSemi
Talk for Art of Scala conference I gave on 10.10.2024
anler/implicits
Implicit function parameters in Clojure
hermannhueck/typeclasses
Type Classes in Scala and Haskell
Skamandrios42/pneuma
The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.
dhinojosa/scala-implicits-katacoda
A list of katacoda-scenarios
krzys9876/command-line-reader
Command-line arguments reader to a class with respective fields
p0nce/implicit-context
Experimental contextual parameters (like Odin contexts and Scala implicits and Jai) but for D as-a-library
sebdevine/implicit_globals
A Python decorator which allow runtime overrides of a function's global and default variables.
ajatix/calculate
A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses
ArborealAnole/injected_fields
injected_fields concept, a form of Explicit Management of Implicit Context (EMIC)
fpopic/scala-code-generation-poc
(Learning) shapeless / scalamacros / scalameta
pramodsabat/stringencoding
String encoding using a custom logic in Scala
danwerner/scala-advanced-talk
Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018
hermannhueck/revisiting-implicits-without-import-tax
revisiting-implicits-without-import-tax
mtumilowicz/scala-cats-implicit-workshop
Introduction to scala implicit systems with examples.
mtumilowicz/scala213-functional-programming-collections-workshop
Introduction to Scala and functional programming collections: list, stream and tree.