George Leontiev's repositories
2013-scalaeXchange
Source code for "There's a prolog in your Scala!" presentation at Scala eXchange conference 2013.
typelevel-activator
REPL setup for the typelevel.scala projects
macros-playground
Experiments with macros
sf-building
An attempt to compile and generate docs from Benjamin Pierce's "Software Foundations"
banana-rdf
Banana RDF
breeze
Breeze is a numerical processing library for Scala.
breeze-macros
Macros used in Breeze
extreme-play
Extreme play!
free.scala
Port of Haskell's free package to Scala
Haxl
A Haskell library for efficient, concurrent, concise data access.
Idris-dev
A Dependently Typed Functional Programming Language
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
nyan-mode
Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!
platform
Advanced Analytics Engine for NoSQL Data
saddle
SADDLE: Scala Data Library
scala-lang
The Scala Website
scala.github.com
The Scala Documentation website
scalatest
A testing tool for Scala and Java developers
scalaz
An extension to the core scala library.
scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz
scalaz-specs2
Specs2 bindings for Scalaz
shapeless
An exploration of generic/polytypic programming in Scala
shapeless-workshop-paris
Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013
up
Source code for a series of articles on type-level programming in Scala