jedws/spire
Powerful new number types and numeric abstractions for Scala.
Base project for "Patterns in Types" jam, for LambdaJam Australia conference.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Powerful new number types and numeric abstractions for Scala.
Category Theory exercises for YOW Lambda Jam 2015
Compiler plugin for making type lambdas (type projections) easier to write
An extension to the core Scala library for functional programming.