A simple opinionated event store implementation

Deprecated

This module aims at providing simple interface to control the acccess for unsafe operations and instance. The motivation of this package is somewhat similar to NullaryTypeClasses extension, but permits more flexible access control.

An implementation of Dung's argumentation frameworks, an abstract argumentation model used to either directly represent conflicting information, or used as a translation target for more complex (structured) argumentation models. For an introduction to Dung's frameworks see http://en.wikipedia.org/wiki/Argumentation_framework and Dung's paper from 1995: "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games", Artificial Intelligence 77: 321-357. For the papers accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" and "A principled approach to the implementation of argumentation models", available at http://www.cs.nott.ac.uk/~bmv/Dung/.

Compact representation of ASCII strings

Ajhc is a fork of jhc. The jhc is a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations. The jhc is very minimalist in that it does not have a precompiled run time system, but rather generates what is needed as part of the compilation process. However, back ends do have specific run-time representations of data, which can be affected by things like the choice of garbage collector. Perhaps you can get internal overview with following compile flow image:

Bindings to libseccomp. See System.Linux.Seccomp for docs.

[Index] For package maintainers and hackage trustees

Provides generics-based implementations for common typeclasses using Generics. Please see the README on Github at https://github.com/mstksg/one-liner-instances#readme

This library provides data structures for collecting counts and estimating distributions from observed data. It is designed for natural language systems that need to handle large, discrete observation sets and perform smoothing.

Error handling middleware for Wai.

Please see the README on GitHub at https://github.com/IvanMalison/notifications-tray-icon#readme

authenticate requests made to your WAI apps using HMAC.

For package maintainers and hackage trustees

Deprecated A parallel producer/consumer engine (thread pool). There are lots of features in the Engine, to include dynamically adjustable hooks, managed state, and injection points.

Linear, extended and unscented Kalman filters are provided, along with their corresponding smoothers. Furthermore, a particle filter and smoother is provided.

Add supporting of reading and writing audio data with repa arrays in various format. The code is using libsndfile and hsndfile package.

RFC 4648-compliant Base32 encodings and decodings. This library provides performant encoding and decoding primitives, as well as support for textual values.

This is a Haskell implementation of the NewHope key exchange protocol. It has been made via examination of the official NewHope project's public domain C reference code and the author is not affiliated with that team or with NIST. For further details please see the package README.

This is an implementation of Tarjan's Union-Find algorithm (Robert E. Tarjan. Efficiency of a Good But Not Linear Set Union Algorithm, JACM 22(2), 1975) in order to maintain an equivalence relation. This implementation is a port of the union-find package using the ST monad transformer (instead of the IO monad).

For package maintainers and hackage trustees

Parsimony is a generalized and simplified version of the industrial-strength parser combinator library Parsec. Like Parsec, it is simple, safe, well documented, convenient, with good error messages, and fast. In addition, Parsimony adds support for working with differet types of input such as byte strings (for compat input representation) and lazy byte strings (for parsing large amounts of data). It also supports working with text in different character encodings such as UTF8.

Anonymous records with various useful utilities

A very simple but rather memory- and performance-efficient rope with logarithmic concatenation, access and splitting at an index or predicate. Differs from the current rope package (as of rope 0.6.1) by providing guaranteed logarithmic performance.

Generic cryptography public keys algorithm types

ImProve is an imperative programming language for high assurance applications. ImProve uses infinite state, unbounded model checking to verify programs adhere to specifications. Yices (required) is the backend SMT solver. ImProve compiles to C, Ada, Simulink, and Modelica.

Fast heterogeneous maps based on Hashmaps and type-able like functionality for type that are not typeable.

Library with tools for simulating Rubik's Cube and similar puzzles.

Memory efficient sets with continuous ranges of discrete, bounded elements. List- and map-based implementations. Interface mimics Data.Set where possible.

[Index] For package maintainers and hackage trustees tripLL is a very simple triple store, written in Haskell. It provides a basic interface to write, delete and query triples -- in fact, that's it. On top, there are some bindings to realizations of triple stores, such that this tiny library can be used out of box. Right now it is thought that exactly one binding is imported within a project and only this binding (since it re-exports the interface). The LevelDB Binding is based upon (http://nodejsconfit.levelgraph.io/), which is based upon the idea to build up a hexastore. Freely interpreted.

This package allows reading raw data from the Emotiv EPOC EEG devices. It is inspired and based on the code of the Emokit project (https://github.com/openyou/emokit), but entirely written in Haskell. It contains an extensive, well-documented library for connecting to devices, decrypting the stream, and parsing the relevant data out. Data can be read from a given device via HIDAPI-hidraw or a dump file; reading from multiple devices is supported and when only one EEG is to be used, the correct device is automatically selected. There is also an executable, hemokit-dump, that can print out raw data incremental packets as sent from the device the cumulative state of the EEG in both their plain form and as JSON, and optionally serve any of this via Websockets.

[Index] For package maintainers and hackage trustees Haskell bindings to the Librato API

[Index] You can disable the use of the hashable package using -f-hashable. Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info For package maintainers and hackage trustees This provides a standard place for lots of orphan instances for the vector package. Contributions and bug reports are welcome! Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net. -Edward Kmett

See the readme

A Turtle script I use to kick off attic

The library and the executable support both the original Oberon and the Oberon-2 programming language, as described in the respective language reports. The original purpose for the library was to be a test of the underlying grammatical-parsers library. The experiment succeeded, so the package can be used in practice.

A compiler and a graphical editor for the esoteric programming language rail.

ipatch brings the power and convenience of selecting and editing patches in Darcs to those who are not using the Darcs version control system. It allows the user to interactively split a patch file into several patch file, as well as applying a patch interactively and possibly partially.

Provides generic implementation for ROC online clustering algorithm.

Please see README.md

This is a generic programming library in the spirit of "Scrap your boilerplate with class", but with several improvements — most notably, it's based on the gtraverse function instead of gfoldl. gtraverse is equivalent in power to gfoldl, but lets you more easily write non-standard views of the data type.

Use tests to monitor changes in Aeson serialization

Please see the README on GitHub at https://github.com/gvolpe/split-morphism#readme

Golden testing capabilities for hedgehog using Aeson. Generates pretty output in cases of errors and uses Hedgehog to eat all your bugs!

A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and similar technique.

Package to support Propositional and First Order Logic. It includes classes representing the different types of formulas and terms, some instances of those classes for types used in other logic libraries, and implementations of several logic algorithms, including conversion to normal form and a simple resolution-based theorem prover for any instance of FirstOrderFormula.

NeatInterpolation provides a quasiquoter for producing strings with a simple interpolation of input values. It removes the excessive indentation from the input and accurately manages the indentation of all lines of interpolated variables.

Please see the README on GitHub at https://github.com/joshuaclayton/read-ctags#readme

Deprecated FFI bindings to xenctrl.h and perhaps more. The System.Xen.CBindings should provide direct access to the C API while System.Xen will eventually provide a higher level abstraction. This library binding allows pure haskell programs to use XenCtrl functions; these can be Haskell versions of xend, xm, and virt-manager but more interesting projects are possible. Think about a happs app controlling domains and complex policy controls on resource (CPU, memory, PCI) uses.

This package contains a heterogenous Zipper and 2 examples of how to use it.

A Haskell library for censoring text, using DansGuardian phraselists. I converted the phraselists into JSON. You can view the converted phraselists here. I recommend looking at the API documentation for Text.Eros if you want an idea of how to use the library. Changelog

[Index] For package maintainers and hackage trustees An easy to use command line arguments parser. This program will accept arguments like that: If an optional argument, defined by optarg is given (by its short alias or by its long name) it will show up in the options MultiMap. Note that you can check for a key beings set with (?) and retrieve all associated values with (!). Also note that (!) will always return a list, but possibly en empty one (if no option was given). Long options can be given as --key value or as --key=value. Short options can be given as -D value as well as -Dvalue. If a switch, defined by switch is given, it will show up in the switches Set. You can query for whether a switch is set or not with (?). Switches can be combined, i.e. -hv is the same as -h -v. If -- is supplied as an argument, no options are evaluated beyond this point. Any unknown or malformed option (-x, --xxxx) will be treated as an argument. Defines a command line switch with the given long name. Defines a command line option with the given long name. Defines a shorthand for the given option. Defines a check which the optional arguments' value has to pass. Defines a pattern which the optional arguments' value must match. Part of hydrogen-prelude.

Buiding block for writing asynchronous logger pipelines.

Haskell bindings to the WebRTC VAD component

Parsing and serialization functions for the NIST Matrix Market format.

Law-abiding optics for aeson.

A library for building nodes of a distributed Erlang system in Haskell. Nodes can be created and registered to an epmd, Erlang terms can be marshalled to/from Erlangs binary term representation and message can be sent to or received from processes running on a different node. In it's preliminary state hinterface supports of Erlangs binary terms and a subset of the distribution protocol.

Haskell library for accessing the /proc filesystem in Linux

Log message normalisation tool producing structured JSON messages

[Index] Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info For package maintainers and hackage trustees

Approximate dictionary searching library.

Generate elm code from an ast

htags is a tag file generator to enable extra functionality in editors like vim. It expands upon hasktags by using a full Haskell 98 parser and options for recursion. © 2008 by David Sankel; BSD3 license.

A high level HTTP client for Haskell that focuses on ease of use

[Haskell] This package provides abstraction for polymorphic controls, like PolyMonads or PolyApplicatives.

The Simple Yuser-friendly Lambda Visualization Interaction Application (SYLVIA) is a unique way to manipulate untyped lambda calculus expressions, by representing them as boxes connected by wires. It is an implementation of an idea by Keenan (1996). See http://dkeenan.com/Lambda for the theory behind this application.

Read and manipulate MBTiles files and associated metadata.

AVR Crosspack actions for shake build systems.

yet another visual editor Customizable vi like editor. You can customize by edit ~/.yavie/vty/yavie-vty.hs. It's very buggy now.

This library is useful for running a large amount of parallel tasks that run on top of the IO monad, executing them in batches from a work queue. It has several features aimed at monitoring the progress of the tasks and tries to be reasonably efficient (in space and time) for large numbers (millions) of tasks. There is also caching support available so that the results of running the task can be preserved between runs of the same program, which is useful for doing scientific analysis.

Small, concise and simple implementation of heterogeneous lists with useful utility functions

Please see the README on GitHub at https://github.com/typedbyte/propeller#readme

Please see the README on GitHub at https://github.com/narumij/matrix-as-xyz#readme

Dyre implements dynamic reconfiguration facilities after the style of Xmonad. Dyre aims to be as simple as possible without sacrificing features, and places an emphasis on simplicity of integration with an application. A full introduction with a complete example project can be found in the documentation for Config.Dyre

For package maintainers and hackage trustees Play the board game Diplomacy over HTTP. Players may participate via their own private devices, so long as they have network capabilities and a good web browser. Start by installing the program. ``bash git clone git@github.com:avieth/diplomacy-server.git cd diplomacy-server cabal install openssl req -x509 -newkey rsa:2048 -keyout server.key -out server.pem -days 365 -nodes ./Main -u <username> -p <password>

This is a Haskell binding to the wiringPi library, which allows you to interface with the GPIO pins on the Raspberry Pi. Unlike some other solutions for using the Raspberry Pi's GPIO pins, wiringPi provides access to more advanced features, such as enabling the internal pull-up or pull-down resistors.

Generator and shrink functions for testing Unicode-related software.

A simple wrapper of an IO computation to show the used CPU time.

This package implements a low-level client client library to interface with Apache Kafka 0.7. Kafka 0.8 and newer are not yet supported.

Zlib and GZip compression and decompression for Pipes streams

Assorted utilities to work with AFP data streams

A backend agnostic, concurrent BTree

A collection of useful and mildly useful functions that you might expect to find in System.* which a heavy bias towards Unix-type operating systems.

A library of assorted useful functions for working with lists, doing mathematical operations and graphing custom data types.

Naqsha is a library to work with geospatial data types, like latitudes and longitudes, mapping projects like openstreetmap, various map related file formats.

The Haskell Stream Processor is a command line utility to process streams using Haskell code. It is intended to be used in a UNIX pipeline. It offers a configuration system to personalize imported modules and a way to represent values on the console.

A demonstration package for the type system delta-lambda (of N.G. De-bruijn) in ~1000 lines of haskell. this is at the moment exceptionally ALPHA level software. no tests for the validity of the type checker (only the type synthesizer), or the parser, or the repl, etc... there are dragons in here (soon to be tamed), and lots of them! todo: profiling, unit testing, formal verification of type correctness adequacy proof of the implemented type system.

This package is a thin wrapper around http-conduit to access a Couch DB Database, using the aeson package to parse and encode JSON data. http-conduit, aeson, and attoparsec fit togther so well that this package is mostly just a direct combination of these packages. The single additional feature in this package is an attoparsec parser for views, which allows constant memory processing of view returns.

Utilities for dealing with IEEE floating point numbers, ported from the Tango math library; approximate and exact equality comparisons for general types.

[Index] Enable the OpenGL backend. Main module: Graphics.Rendering.Ombra.Backend.OpenGL Enable the GHCJS/WebGL backend, if compiled with GHCJS. This automatically disables the OpenGL backend. Main module: Graphics.Rendering.Ombra.Backend.WebGL Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info For package maintainers and hackage trustees Installation (important) Example 1

Chans (ImageBoards) to XMPP gate. Supports Wakaba, Kusaba and other engines. Settings stored in ~/.mahororc file.

Please see the README on GitHub at https://github.com/apauley/hledger-makeitso#readme

Library for reducing the boilerplate involved in creating and manipulating sum types

Containers backed by flat arrays. Updates require rebuilding the entire structure, but lookups are cache coherent.