Name: Daniel Spiewak
Type: User
Company: @nvidia
Bio: I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
Location: Chicago, IL
Daniel Spiewak's Projects
Seamless interop layer between cats and scalaz
First class syntax support for type classes in Scala
Simulacrum as Scalafix rules
A microlibrary for Scala encodings of higher-rank quantifiers
A utility harness for testing free programs (built on specs2)
Generalized, incremental parser combinators for scalaz-stream
Software Specifications for Scala
Code and data for the LambaJam 2013 Spelling Corrector Jam
Benchmarks for various Scala streaming and task libraries
A micro library for representing contextual segments of raw data.
A columnar parsing framework with support for JSON/CSV/XML and Mison-style pushdown eval
Web site of typelevel.scala
Unique Functional Values for Scala
Type-safe, persistent storage for values of arbitrary types