milessabin/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.
Discovered public repositories for milessabin in the GitHub catalog.
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.
Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.
Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implicit scope.
Experimental project to lay out basic algebra type classes
Magical Shapeless JsonFormats for spray-json
Public repository.
Comments as GitHub pull requests for Jekyll (and other static site generator) websites.
Rock-solid shell scripting
Source of my blog
Slides from my presentation on shapeless type class derivation
principled database access for scala
Skeleton SBT project for shapeless workshop @ ScalaDays SF 19/3/2015
Example code from my presentation on shapeless type class derivation
Generation of arbitrary case classes / ADTs with scalacheck and shapeless
Lightweight, modular, and extensible library for functional programming.
Public repository.
Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014
The Scala programming language http://www.scala-lang.org/
Web site of typelevel.scala
Demo code from my/Jon Pretty's talk at Scala Days 2014 in Berlin.
Public repository.
Skeleton SBT project for shapeless workshop @ flatMap Oslo 12/5/2014
The project that generates Scala release notes.
Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013
Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013
Skeleton SBT project for shapeless workshop
A standard HTTP layer for Scala
Interoperability libraries & additional data structures and instances for Scalaz
Interoperability libraries for Shapeless
Experiments with implicit macros from scalamacros/kepler.
Generic programming for Scala
Scala LiftOff London 2011