Adelbert Chang

aiyou. IO types and classes for Scala.

gazette. Toy project serving to illustrate that it's possible to write pure functional systems in Scala.

sabre. In-memory distributed graph processing of trivially parallelizable graph algorithms.

tfm. tagless final macro

rebind. Rebind is a Scala port/remake of the Haskell retry library.

circular. Invertible syntax for Scala.

scala-sandbox. Random Scala thought experiments and miscellany.

software-foundations. My answers to Benjamin Pierce's "Software Foundations" exercises, v3.1 (July 2014)

programming-in-idris. Following Idris tutorial, also playing around.

bayhac17. Slides for my BayHac 2017 talk "All About Applicative"

faq. Random collection of my ramblings.

dielectric. Dielectric is a playground for coming up with a more functional way of interacting with Spark.

vim-config. My Vim configuration folder.

classyapp. Scala port of the ideas in the [Next Level MTL](https://www.youtube.com/watch?v=GZPup5Iuaqw) talk.

scrutinize. A pandoc filter in the spirit of the Scala tut documentation tool.

dt-programming-in-agda. Answers to Ulf Norell and James Chapman's "Dependently Typed Programming in Agda" exercises.

scalanet. Basic network simulator written in Scala 2.9.2 and Akka 2.0.3 for submission to the Typesafe Developer Contest.

dotfiles. The beginning of my dotfiles/folders collection.

cinema. Cinema is no longer an active project - it has been replaced with Sabre.

adelbertc.github.io. HTML

nets-scala. Simple graph (graph theory-graph.. not charts/plots) library for Scala.

nets-hs. Graph/complex network analysis library for Haskell.

scala-optparse-applicative. Scala port of Paolo Capriotti's optparse-applicative library

knobs. A reasonable configuration library for Scala

tofu. Extensible protocols

jumble. `Hashable` type class for Scala, based on the Haskell package `hashable`.