mvoidex Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

atom-haskell-hsdev

haskell hsdev plugin for atom

cabal-doctest

A Setup.hs helper for doctest running

carma

custom call center assistance system

carma-models

carma-sms

SMS posting for carma

carma-sync

colorhighlighter

ColorHighlighter - is a plugin for the Sublime text 2 and 3, which underlays selected hexadecimal colorcodes (like "#FFFFFF", "rgb(255,255,255)", "white", etc.) with their real color. Also, plugin adds color picker to easily modify colors.

data-serialization

Haskell serialization library

data-serialization-aeson

Data serialization bindings for Aeson

data-serialization-attoparsec

data-serialization-dictionary

data-serialization-postgresql

default-args

Apply default arguments to function/constructor

direct-sqlite

dyre

A Dynamic Reconfiguration Library for Haskell Programs

ghc-mod

Happy Haskell programming on Emacs/Vim

ghc-paths

Knowledge of GHC's installation directories

haddock

Haskell Documentation Tool

haskell-docs

haskell-names

Haskell suite library for name resolution

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

hdevtools

Persistent GHC-powered background server for FAST haskell development tools

hdocs

Haskell docs tool

hformat

Simple Haskell formatting

hmatrix

Linear algebra and numerical computation

hsdev

Haskell development tool

hsync

Syncing [git]-changes between two directories (remote or local)

korg-taktile-49-for-bitwig

Korg Taktile 49 support for Bitwig Studio

launchkey-mini-mk2-for-bitwig

Launchkey Mini MK2 support for Bitwig Studio