Stars
uBlock: a fast, lightweight, and lean blocker for Chrome, Firefox, and Safari.
Perl extensions for the rxvt-unicode terminal emulator
Website for hosting and searching PureScript API documentation
outcasts no longer allowed in the ivory tower
SML, The Living Language (aka, Successor ML)
configuration library for JVM languages using HOCON files
An experimental whitespace-delimited syntax for the Scala programming language
Experiment: Transforms curly-brace source code (C, Java, JS, Haxe) to and from meaningful indentation layout (as seen in Python and Coffeescript)
Scala type level utilities which anyway will be erased during compilation
Profunctor type classes and data structures
Monad and comonad transformers
Freeminer is an open source sandbox game inspired by Minecraft.
Setting up an Idris dev environment on Windows
I2P is an anonymizing network, offering a simple layer that identity-sensitive applications can use to securely communicate. All data is wrapped with several layers of encryption, and the network i…
Constructor of incremental parsers in Scala
A macro-based PEG parser generator for Scala 2.10+
A syntax for type-safe effectful computations in Scala
A library providing automated refactoring support for Scala.

