implicits

better implicit errors for scala

A library for modelling 3D objects with mathematical primitives

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

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

A list of katacoda-scenarios

Updated talk for Scalar 2025 conference I gave on 25.03.2025

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

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

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

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

String encoding using a custom logic in Scala