implicits
Here are 25 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
Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation
-
Updated
Oct 16, 2024 - Scala
Mechanized formalization of Implicit resolution in Agda
-
Updated
Jun 28, 2017 - Agda
Talk for Art of Scala conference I gave on 10.10.2024
-
Updated
Nov 8, 2024 - JavaScript
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
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
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."