Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc.Berlin, Germany
Blaisorblade's Stars
preservim/tagbar
Vim plugin that displays tags in a window, ordered by scope
sbt/sbt
sbt, the interactive build tool
scalaz/scalaz
Principled Functional Programming in Scala
git-cola/git-cola
git-cola: The highly caffeinated Git GUI
typelevel/scalacheck
Property-based testing for Scala
mpeltonen/sbt-idea
A simple-build-tool (sbt) plugin/processor for creating IntelliJ IDEA project files
dwijnand/sbt-extras
A more featureful runner for sbt, the simple/scala/standard build tool
sbt/sbt-eclipse
Plugin for sbt to create Eclipse project definitions
nicolas-raoul/Anki-Android
Anki on Android
jepst/CloudHaskell
A distributed computing framework for Haskell
sbt/sbt-start-script
SBT Plugin to create a "start" script to run the program
twitter-archive/standard-project
A slightly more standard sbt project plugin library
mtkopone/scct
Scala Code Coverage Tool
TiarkRompf/scala-virtualized
The Scala Programming Language: Virtualized
ckaestne/TypeChef
Type checking ifdef variability
musk/SbtEclipsify
Sbt plugin for creating eclipse project and classpath files for sbt projects [DEPRECATED]
typesafehub/sbt-multi-jvm
Multi-JVM testing in sbt
schani/linbin
Linear vs binary search benchmark
backchatio/xsbt-scalate-generate
Generate scala sources for sbt 0.10
nobnago/Anki-Android
Anki on Android
awallgren/extformatter
External Code Formatter, an IntelliJ IDEA plugin.
stanford-ppl/OptiQL
Various Implementations of OptiQL
samskivert/scala-pf-rethink
Some benchmarks of alternatives to Scala's PartialFunction