Discover pepeiborra/triefamily Open Source project

Stars
2
Language
Haskell
License
Other
Created almost 15 years ago
Updated almost 15 years ago

pepeiborra

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

Simple type families based Tries and Bitries

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

muterm-framework-charts

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

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/triefamily

pepeiborra

Reviews

Repository Details

More Repositories