pepeiborra Goto Github PK

pandoc

Universal markup converter

parsec-tagsoup

Write Parsec parsers for streams of TagSoup tags

parsers

Generic parser combinators

pepeiborra.github.io

processpar

Run computations off-process

prolog

Prolog parser, pretty printer and evaluator in Haskell

prolog-tools

Some small tools, including a simple sharing analysis

retrie

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

safe-failure

Fork of Neil Mitchell's Safe library, modified to fail in a MonadFailure monad

safe-failure-cme

Instances for the encoding of explicitly typed exceptions provided by the control-monad-exception package

same-same

🤳 ignore the differences between `a` and `Identity a`

satchmo

This is a fork of satchmo: SAT encoding monad (http://dfa.imn.htwk-leipzig.de/satchmo/)

satchmo-backends

Fork of the satchmo-backends project (http://dfa.imn.htwk-leipzig.de/satchmo/)

schemas

A library for schema-guided serialization of Haskell datatypes

shake

Shake build system

shellcheck

ShellCheck, a static analysis tool for shell scripts

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

stackage

"Stable Hackage": vetted consistent packages from Hackage

stream-monad

Simple, Fair and Terminating Backtracking Monad

strict-types

Type and value level predicates for demanding strict types

summer-of-haskell

Source code of summer.haskell.org

tag-bits

Provides access to GHC's dynamic pointer tag bits

term

Term Rewriting Systems

test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases

threepenny-editors

Composable algebraic editors

threepenny-gui

GUI framework that uses the web browser as a display.

tinyxml

A fast approximate XML parser inspired by github.com/ndmitchell/hexml

triefamily

Simple type families based Tries and Bitries

trs

A library for working with Term Rewriting Systems

trsparser

A parser for the TPDB format for describing TRSs