Profpatsch

dhall-js

Make the dhall compiler accessible from Javascript

slurp2nix

A bad joke … or a nightmare in the making?

Anki-Android

AnkiDroid: Anki on Android

beam

A type-safe, non-TH Haskell SQL library and ORM

Blockchain

A verified permissioned centralized Blockchain for Isabelle/HOL

bower2nix

Generate nix expressions to fetch bower dependencies.

dada

A recursion scheme library for Dhall.

dhall-json

Compile Dhall to JSON or YAML

dhall-lang

A configuration language guaranteed to terminate

dhall-to-cabal

Compile Dhall expressions to Cabal files

extra-packages

Packages I want hydra to build for me

go2nix

because Go and Nix are both amazing

haskell-pair-programming

he

A robust HTML entity encoder/decoder written in JavaScript.

hnix

A Haskell re-implementation of the Nix expression language

lau

https://de.wikipedia.org/wiki/Das_Stuttgarter_Hutzelm%C3%A4nnlein#Das_Märchen_von_der_schönen_Lau (TBA)

megaparsec

Industrial-strength monadic parser combinator library

nix-index

Quickly locate nix packages with specific files

nixcon2017

Source of the NixCon 2017 website

OpenSpaceDirectory

Fork of the Space API directory, modification through Pull Request

protolude

A sensible starting Prelude template.

pulp

A build tool for PureScript projects

purescript

A strongly-typed language that compiles to Javascript

purescript-foreign-generic

Generic deriving for purescript-foreign

purescript-node-child-process

Spawn child processes in PureScript via the Node.js child_process API.

purescript-node-streams

A wrapper for Node's Stream API

skydoc

Documentation generator for Skylark

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

tldr-hs

Haskell tldr client

yarn2nix-packages

Suite of packages built with yarn2nix. In preparation for upstreaming.