Chicago, IL

Daniel Spiewak

Elite
@djspiewak

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

312

emm. A general monad for managing stacking effects

204

parseback. A Scala implementation of parsing with derivatives

202

sbt-github-packages. A simple sbt plugin for publishing to GitHub Packages, in the style of sbt-sonatype and sbt-bintray

178

shims. Seamless interop layer between cats and scalaz

173

anti-xml. The scala.xml library has some very annoying issues. Time for a clean-room replacement!

170

cccp. Common Colaborative Coding Protocol

119

extreme-cleverness. A set of functional collections created, ported and modified for my tak at NE Scala 2011

91

sparse. Generalized, incremental parser combinators for scalaz-stream

62

derivative-combinators. An implementation of derivative parsing in the parser combinator framework

59

skolems. A microlibrary for Scala encodings of higher-rank quantifiers

58

sbt-spiewak. A plugin which represents my personal SBT project baseline

52

kitteh-redis. A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec

43

scala-bison. A recursive ascent/descent parser generator for Scala

36

jedit-modes. A collection of new and modified edit modes for jEdit

34

smock. A utility harness for testing free programs (built on specs2)

28

scala-collections. A number of collection implementations for Scala (including a few ported from Clojure)

27

async-runtime-benchmarks. Comparative benchmarks between asynchronous runtimes

27

scala-stm-proto. An implementation of a software transactional memory framework in Scala

19

ensime-sidekick. An ENSIME SideKick plugin for jEdit

16

sillio. Scala

16

linguistic-programming. Sources for my presentation on crafting DSLs in Scala

10

activeobjects. A Git fork of the mainline ActiveObjects SVN

10

buildr. Buildr forks and knives

9

base.g8. My cool template

8

cont-exp. Experiments with the continuation monad

8

sbt-evil-mode. 😈

7

jbencode. A very fast Java Bencode pull parser/generator

7

scala-stm. Proposal for a standard Scala STM that supports pluggable implementations

6

shapely. Scala

6

dbpool. A fork of the excellent DBPool connection pool

5

rst2twiki. A converter script from ReStructured Text to TWiki markup

4

wronglisp. Scala

4

parser-workshop. Parser workshop at flatMap(Oslo) 2013

3

iota-instances. Scalaz instances and things for iotaz coproducts

3

jvm-sizeof. A javaagent that calculates heap usage for JVM objects

3

schrodinger. Common communication protocol for IO / Task / Future data types

2

buildr-addons. Useful stuff for buildr

2

spark. Apache Spark - A unified analytics engine for large-scale data processing

2

dist-mapper. A non-functional key/value store backend

2

cats-effect. The IO monad for cats

2

clojure-conj.

2

Scala-Google-Spreadsheets. Make Google custom functions for your Spreadsheets in Scala

2

blueeyes. 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.

2

coop. Cooperative multithreading as a pure monad transformer

2

hello-world. Hello world in every programming language

2

jedit-macros.

1

discipline. Flexible law checking for Scala

1

shapeless. An exploration of generic/polytypic programming in Scala

1

quasar. A compiler for a SQL dialect and mathematical meta-system with support for heterogeneous structured data

1

liftweb. The Lift web framework for Scala

1

bloop. Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

1
52
Apply