Discover pepeiborra/muterm-framework-charts Open Source project

Stars
2
Language
Haskell
License
Other
Created almost 14 years ago
Updated about 9 years ago

pepeiborra

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

hls-tutorial

A tutorial on writing Haskell Language Server plugins

gc-benchmarks

Benchmarks using the non-moving incremental GHC garbage collector

Haskell

control-monad-exception

Explicitly Typed exceptions as a library

Haskell

term

Term Rewriting Systems

Haskell

schemas

A library for schema-guided serialization of Haskell datatypes

Haskell

ghc-check

utility to detect mismatches of ghc api versions

Haskell

monadloc

A class for monads which can keep a stack trace

Haskell

narradar

An automatic prover of termination of logic programs and narrowing

Haskell

prolog

Prolog parser, pretty printer and evaluator in Haskell

Haskell

control-monad-free

Free monads and monad transformers

Haskell

strict-types

Type and value level predicates for demanding strict types

Haskell

arrowp

Modern fork of the Arrow notation preprocessor

Haskell

threepenny-editors

Composable algebraic editors

Haskell

trs

A library for working with Term Rewriting Systems

Haskell

trsparser

A parser for the TPDB format for describing TRSs

Haskell

control-monad-failure

A class of monads which can fail with an error

Haskell

muterm-framework

A kernel for a Dependency Pairs termination tool

Haskell

haskell-src-exts-util

Utility code for working with haskell-src-exts

Haskell

prolog-tools

Some small tools, including a simple sharing analysis

Haskell

hp2pretty

Fork of http://code.mathr.co.uk/hp2pretty.git

Haskell

fetchrules

Utilities for automatic parsing and conversion of TRSs in several formats

Haskell

safe-failure

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

Haskell

haskell-src-exts-observe

Orphan Observable instances for haskell-src-exts datatypes

Haskell

monadloc-pp

A preprocessor for the monadloc package

Haskell

yices

fork of Ki Yung Ahn's yices Haskell package

Haskell

alacarte

An implementation of Wouter Swierstra "Data Types a la Carte" open types, with some custom instances for the injection type class

Haskell

bindings-yices

Haskell bindings to the Yices SMT solver

Haskell

safe-failure-cme

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

Haskell

NoHoed

Convenience package to preserve debug ability via conditional builds

Haskell

parsec-tagsoup

Write Parsec parsers for streams of TagSoup tags

Haskell

hexml-lens

Lenses for working with XML data

Haskell

icfp2013

icfp 2013 non entry

Haskell

funsat-rpo

Funsat extension to Recursive Path Order constraints

Haskell

hspec-dynamic-format

A custom formatter for hspec capable of dynamically displaying all the running examples

Haskell

satchmo

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

Haskell

clr-inline

Mirror of https://gitlab.com/tim-m89/clr-haskell

Haskell

triefamily

Simple type families based Tries and Bitries

Haskell

satchmo-backends

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

Haskell

hoed-extras

Hood (hoed) instances for various types

Haskell

tinyXml

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

Haskell

debug-pp

A preprocessor for [debug](http://github.com/ndmitchell/debug) instrumentation

Haskell

xml-bench

A container project for benchmarks of Haskell xml parsing libraries

Haskell

fused-effects-mtl

MTL and monad-control instances for fused-effects carriers

Haskell

control-monad-free-extras

Extra instances for control-monad-free types

Haskell

ministg-maude

A Maude implementation of the small-step relation underlying the GHC execution model

diablogrep

Quick hack for grepping D3 character stats from Battle.net api

Haskell

deepseq-extras

Higher order version of the NFData class in the spirit of the prelude-extras package

Haskell

funsat-lang

Fork of the circuit language and CNF representation in Funsat (Denis Bueno), with the goal of making the representation more easily extendable.

debug-hoed

A backend for the debug package built with Hoed

HTML

aoc2018

Haskell

hoed-mini

Debug anything without recompiling everything!

Haskell

yices-0.0.0.12

Fork of Ki Yung Ahn's yices package v0.0.0.12

hood-off

nixpkgs.config

ProcessPar

Run computations off-process

Haskell

organ

On the duality of streams

Haskell

pepeiborra/muterm-framework-charts

pepeiborra

Reviews

Repository Details

More Repositories