Miles Sabin (@milessabin)
github

milessabin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3,697
  • Global Rank 7,732 (Top 0.3 %)
  • Followers 972
  • Following 32
  • Registered about 15 years ago
  • Most used languages
    Scala
         61.9 %
    HTML
         23.8 %
    Shell
         9.5 %
    XSLT     4.8 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 389
  • Country Ranking
    Scala
         4
    XSLT     114
    HTML
         2,426
    Shell
         2,543

Top repositories

1

shapeless

Generic programming for Scala
Scala
3,391
star
2

export-hook

Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implicit scope.
Scala
89
star
3

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.
Scala
86
star
4

si2712fix-plugin

Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
Scala
47
star
5

shapeless-type-class-derivation-2015-demo

Example code from my presentation on shapeless type class derivation
Scala
29
star
6

si2712fix-demo

This repository contains a minimal SBT project for experimenting with a fix for SI-2712
Scala
19
star
7

tls-philly-rbtree-2016

Scala
16
star
8

shapeless-macros

Experiments with implicit macros from scalamacros/kepler.
Scala
14
star
9

spray-json-shapeless

Magical Shapeless JsonFormats for spray-json
Scala
12
star
10

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
Scala
10
star
11

scala-cont-jvm-coro-talk

Scala LiftOff London 2011
Scala
10
star
12

shapeless-workshop-scaladayssf-2015

Skeleton SBT project for shapeless workshop @ ScalaDays SF 19/3/2015
Shell
4
star
13

shapeless-workshop-paris

Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013
2
star
14

flatmap-si2712-2016

Slides from my talk at flatMap(Oslo) 2016 on fixing SI-2712.
HTML
2
star
15

sbtb-typelevel-2016

Slides from my talk "Typelevel in 2016" at Scala By the Bay
HTML
1
star
16

shapeless-type-class-derivation-2015

Slides from my presentation on shapeless type class derivation
HTML
1
star
17

checkout

Scala
1
star
18

scala-exchange-2017

Slides from my talk at Scala eXchange London, 2017
HTML
1
star
19

tls-demo

Project demonstrating Typelevel Scala features
XSLT
1
star
20

scaladays-typelevel-2016

HTML
1
star
21

shapeless-workshop-scalax-2014

Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014
Shell
1
star
22

scala-days-2014

Demo code from my/Jon Pretty's talk at Scala Days 2014 in Berlin.
Scala
1
star