He/him. Type enthusiast; Scala enthusiast (for better or worse). Always hoping to learn more, and that whatever I've made so far will look awful in retrospect.
patchless. Patch data type for Scala and shapeless
61baudrillard. Experiments with symbolic functions in the Scala type system
27literal-types. Scala compiler plugin for literal singleton types
10shapeless-applied. Library for type-level computations in shapeless
9scalaplotlib. A REPL/Notebook-focused plotting library for Scala, wrapping JFreeChart
7mima-cli. Command line interface for MiMa, the Scala Migration Manager
6parsel. Python AST, parser, and quasiquotes for Scala
5inductor. Optimize runtime performance of inductive typeclasses in Scala
3scalax-workshop. Code from Scala Exchange 2018 workshop
3reactivesax. Reactive, non-blocking SAX XML parser for Scala
3let-plugin. Scala compiler plugin for `let` expressions
2scalamock-scalatest-support. ScalaMock support for ScalaTest 3.0.0+
2instance-registry. Zero-import typeclass instances for Scala
2feels. a useless programming language
1