better implicit errors for scala

Scala library for guiceless dependency injection

Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation

Companion repository for 'No More Orphans'

Scala parser of Csv files

Mechanized formalization of Implicit resolution in Agda

The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.

Type Classes in Scala and Haskell

Talk for Art of Scala conference I gave on 10.10.2024 and Scala IO I have on 2024.11.07

A list of katacoda-scenarios

No description provided.

No description provided.

A Python decorator which allow runtime overrides of a function's global and default variables.

Experimental contextual parameters (like Odin contexts and Scala implicits and Jai) but for D as-a-library

Updated talk for Scalar 2025 conference I gave on 25.03.2025

Command-line arguments reader to a class with respective fields

Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018

A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses

Introduction to Scala and functional programming collections: list, stream and tree.

(Learning) shapeless / scalamacros / scalameta

revisiting-implicits-without-import-tax

String encoding using a custom logic in Scala

No description provided.

Introduction to scala implicit systems with examples.

injected_fields concept, a form of Explicit Management of Implicit Context (EMIC)