Brighton, UK

Miles Sabin

Elite
@milessabin

I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.

milessabin.com/blog

shapeless. Generic programming for Scala

3.4k

export-hook. Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implicit scope.

89

macro-compat. macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.

83

si2712fix-plugin. Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6

46

shapeless-type-class-derivation-2015-demo. Example code from my presentation on shapeless type class derivation

28

si2712fix-demo. This repository contains a minimal SBT project for experimenting with a fix for SI-2712

19

tls-philly-rbtree-2016. Scala

15

shapeless-macros. Experiments with implicit macros from scalamacros/kepler.

14

spray-json-shapeless. Magical Shapeless JsonFormats for spray-json

12

strangeloop-2013. Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013

11

scala-cont-jvm-coro-talk. Scala LiftOff London 2011

10

kittens. Automatic type class derivation for Cats

8

shapeless-workshop-scaladayssf-2015. Skeleton SBT project for shapeless workshop @ ScalaDays SF 19/3/2015

4

ThreeColumnStable. A three column layout for XMonad suitable for ultrawide monitors

3

flatmap-si2712-2016. Slides from my talk at flatMap(Oslo) 2016 on fixing SI-2712.

2

shapeless-workshop-paris. Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013

2

tls-demo. Project demonstrating Typelevel Scala features

1

shapeless-type-class-derivation-2015. Slides from my presentation on shapeless type class derivation

1

paradise. Let our powers combine!

1

scaladays-typelevel-2016. HTML

1

scala-exchange-2017. Slides from my talk at Scala eXchange London, 2017

1

checkout. Scala

1

shapeless-workshop-scalax-2014. Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014

1

kind-projector. Compiler plugin for making type lambdas (type projections) easier to write

1

shapeless-guide. Guide to shapeless.

1

sbtb-typelevel-2016. Slides from my talk "Typelevel in 2016" at Scala By the Bay

1

doobie. principled database access for scala

1

scala. The Scala programming language http://www.scala-lang.org/

1
28
Apply