jwaldmann

haskell-obdd

pure Haskell implementation of reduced ordered binary decision diagrams

safe-tidal-cli

satchmo

SAT encoder

cudd-ersatz

Interface to CUDD in the style of Ersatz

rx

computations with regular tree languages

star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod

ersatz-kissatapi

haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)

simple-smt

Tidal

Pattern language

ersatz

A monad for interfacing with external SAT solvers

aeson

A fast Haskell JSON library

atto-lisp

Efficient parsing and encoding of Lisp expressions for Haskell.

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

ceta-postproc

containers

Assorted concrete container types

csound-plugins

Repository for Csound plugins which were originally in the main repository, and for new plugins as well.

ekg-json

JSON encoding of ekg metrics

Euterpea2

Euterpea version 2

flat-tex

flatten a latex multi-file latex document and remove all comments

hsql-mysql

fork of https://hackage.haskell.org/package/hsql-mysql

music-suite

Music in Haskell

opensmt

The opensmt solver

persistent

Persistence interface for Haskell allowing multiple storage methods.

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

smtlib2

SMTLib2 interface implementation for Haskell

snoyberg-xml

Various XML utility packages for Haskell

starexec-master

tidal-doc

TPDB

The Termination Problem Database