Name: Miles Sabin
Type: User
Company: Underscore/Typelevel/shapeless/grackle
Bio: I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.
Twitter: milessabin
Location: Brighton, UK
Blog: http://milessabin.com/blog
Miles Sabin's Projects
Skeleton SBT project for shapeless workshop
Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013
Skeleton SBT project for shapeless workshop @ ScalaDays SF 19/3/2015
Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014
This repository contains a minimal SBT project for experimenting with a fix for SI-2712
Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
First class syntax support for type classes in Scala
A data access library for Scala + Postgres.
Support for shapeless HLists/Generics in Slick.
Powerful new number types and numeric abstractions for Scala.
Magical Shapeless JsonFormats for spray-json
Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013
Project demonstrating Typelevel Scala features
Slides from my talk "Typelevel - the benefits of community" at Scala eXchange, London, 2015
Web site of typelevel.scala
Tabbed plugin for rxvt-unicode with many enhancements
My work on integration of Scala into Vim - not a ton here, but useful for me.