implicits
Here are 23 public repositories matching this topic...
Scala library for guiceless dependency injection
-
Updated
Oct 30, 2020 - Scala
Companion repository for 'No More Orphans'
-
Updated
Oct 13, 2022 - Scala
Mechanized formalization of Implicit resolution in Agda
-
Updated
Jun 28, 2017 - Agda
The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.
-
Updated
Aug 31, 2023 - Scala
-
Updated
Oct 22, 2023 - Scala
Command-line arguments reader to a class with respective fields
-
Updated
Mar 6, 2023 - Scala
-
Updated
Jun 12, 2019 - Scala
Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018
-
Updated
Jan 10, 2018 - Scala
A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses
-
Updated
May 14, 2020 - Scala
String encoding using a custom logic in Scala
-
Updated
Mar 31, 2020 - Scala
injected_fields concept, a form of Explicit Management of Implicit Context (EMIC)
-
Updated
Jan 25, 2022 - Zig
Improve this page
Add a description, image, and links to the implicits topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the implicits topic, visit your repo's landing page and select "manage topics."