sorted grep

Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.

Manage Windows and Buffers According to Purposes

Slack export backend for Eamcs org-mode

Paste snippets from an org-mode file

Focused domain model declaration toolkit for Haskell

A graphical tool for profiling parallel Haskell programs

An effect system based on type classes, written in Haskell.

A little course to learn about some of the more obscure GHC extensions.

A helpful companion to GHC. Overrides GHC messages, to the user's liking.

Haskell source code suggestions

Haskell code prettifier

tarao's dot files.

Frost

♊ higher-order, no-boilerplate monads

Auto-generate a command-line parser for your datatype

Lean Haskell Benchmarking

Typelevel http service definition DSL

A library for working with Bitcoin

Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

A gently curated list of companies using Haskell in industry

Portfolio-based approach to learning Haskell

⚛️ JustinDB is a highly available globally distributed key-value data store.

make Emacs bindings that stick around

Draw a web chart by Scala

SBT plugin for Apache Spark on AWS EMR

capybara themed Emacs lambda calculus machine

Functional JDBC layer for Scala.

The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).