Chris Okasaki's repositories
TradeMaximizer
Tool for finding the largest possible set of trades in BoardGameGeek-style "math trades".
lambdastepper
Trace the reduction of a lambda expression
coursetools
Tools I use in running my courses
scala-lang
sources for the Scala language website
Language:SCSSNOASSERTION000
scalacheck
Property-based testing for Scala
Language:ScalaBSD-3-Clause000