This is your work, valued
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
gll-combinators. A parser combinator library based on the GLL algorithm
312emm. A general monad for managing stacking effects
204parseback. A Scala implementation of parsing with derivatives
202sbt-github-packages. A simple sbt plugin for publishing to GitHub Packages, in the style of sbt-sonatype and sbt-bintray
178shims. Seamless interop layer between cats and scalaz
173anti-xml. The scala.xml library has some very annoying issues. Time for a clean-room replacement!
170cccp. Common Colaborative Coding Protocol
119extreme-cleverness. A set of functional collections created, ported and modified for my tak at NE Scala 2011
91sparse. Generalized, incremental parser combinators for scalaz-stream
62derivative-combinators. An implementation of derivative parsing in the parser combinator framework
59skolems. A microlibrary for Scala encodings of higher-rank quantifiers
58sbt-spiewak. A plugin which represents my personal SBT project baseline
52kitteh-redis. A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec
43scala-bison. A recursive ascent/descent parser generator for Scala
36jedit-modes. A collection of new and modified edit modes for jEdit
34smock. A utility harness for testing free programs (built on specs2)
28scala-collections. A number of collection implementations for Scala (including a few ported from Clojure)
27async-runtime-benchmarks. Comparative benchmarks between asynchronous runtimes
27scala-stm-proto. An implementation of a software transactional memory framework in Scala
19ensime-sidekick. An ENSIME SideKick plugin for jEdit
16sillio. Scala
16linguistic-programming. Sources for my presentation on crafting DSLs in Scala
10activeobjects. A Git fork of the mainline ActiveObjects SVN
10buildr. Buildr forks and knives
9base.g8. My cool template
8cont-exp. Experiments with the continuation monad
8sbt-evil-mode. 😈
7jbencode. A very fast Java Bencode pull parser/generator
7scala-stm. Proposal for a standard Scala STM that supports pluggable implementations
6shapely. Scala
6dbpool. A fork of the excellent DBPool connection pool
5rst2twiki. A converter script from ReStructured Text to TWiki markup
4wronglisp. Scala
4parser-workshop. Parser workshop at flatMap(Oslo) 2013
3iota-instances. Scalaz instances and things for iotaz coproducts
3jvm-sizeof. A javaagent that calculates heap usage for JVM objects
3schrodinger. Common communication protocol for IO / Task / Future data types
2buildr-addons. Useful stuff for buildr
2spark. Apache Spark - A unified analytics engine for large-scale data processing
2dist-mapper. A non-functional key/value store backend
2cats-effect. The IO monad for cats
2clojure-conj.
2Scala-Google-Spreadsheets. Make Google custom functions for your Spreadsheets in Scala
2blueeyes. A lightweight Web 3.0 framework for Scala, featuring a purely asynchronous architecture, extremely high-performance, massive scalability, high usability, and a functional, composable design.
2coop. Cooperative multithreading as a pure monad transformer
2hello-world. Hello world in every programming language
2jedit-macros.
1discipline. Flexible law checking for Scala
1shapeless. An exploration of generic/polytypic programming in Scala
1quasar. A compiler for a SQL dialect and mathematical meta-system with support for heterogeneous structured data
1liftweb. The Lift web framework for Scala
1bloop. Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.
1