milessabin/sbtb-typelevel-2016 milessabin/sbtb-typelevel-2016

  • Stars
    star
    1
  • Language
    HTML
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
milessabin/sbtb-typelevel-2016
github

milessabin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Slides from my talk "Typelevel in 2016" at Scala By the Bay

More 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

shapeless-type-class-derivation-2015

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

checkout

Scala
1
star
17

scala-exchange-2017

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

tls-demo

Project demonstrating Typelevel Scala features
XSLT
1
star
19

scaladays-typelevel-2016

HTML
1
star
20

shapeless-workshop-scalax-2014

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

scala-days-2014

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