stephen-lazaro

persians

An attempt to translate ekmett's beautiful Kan library from Haskell to Scala.

Misc

Just a bunch of little exercises to keep the mind sharp.

cats

Lightweight, modular, and extensible library for functional programming.

cats-selective

kittens

Automatic type class derivation for Cats

cats-collections

Data structures for pure functional programming in Scala

cats-mtl

cats transformer type classes.

cormorant

A CSV Handling Library for FP.

CS61A

HW for the class CS61A at UC Berkeley as seen http://www-inst.eecs.berkeley.edu/~cs61a/su14

CS61B

Data Structures as seen at http://www.cs.berkeley.edu/~jrs/61b/

dotfiles

This will be a config

Elliptic

A curve drawer for elliptic curves over finite fields

etudes-for-erlang

Companion exercises for O'Reilly Media's "Introducing Erlang"

etudes_rust

Messing around in Rust

finch

Scala combinator library for building Finagle HTTP services

Fixed-Length

Scala library for parsing fixed length file format

idrisexerc

Mhmm

Gift for Jenny, first Android app

microtypical

Earnest microtype / validation library for Scala

pony-playground

Playing with pony!

purescript-playground

Just working through the purescript intro to get a feel for stdlib and syntax

reuler

Project Euler in Rust (for now)!

rust

A safe, concurrent, practical language.

rust-valid

Preeeediiiicaaaates

scala-open-letter.github.io

spire

Powerful new number types and numeric abstractions for Scala.

tut

doc/tutorial generator for scala

typesIdris

Doing Benjamin J Pierce's Types and Programming Languages in IDris

vim-lsc

A vim plugin for communicating with a language server