pepeiborra/muterm-framework pepeiborra/muterm-framework

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    Other
  • Created over 15 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pepeiborra/muterm-framework
github

pepeiborra

Reviews

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

Repository Details

A kernel for a Dependency Pairs termination tool

More Repositories

1

hls-tutorial

A tutorial on writing Haskell Language Server plugins
70
star
2

gc-benchmarks

Benchmarks using the non-moving incremental GHC garbage collector
Haskell
22
star
3

control-monad-exception

Explicitly Typed exceptions as a library
Haskell
22
star
4

term

Term Rewriting Systems
Haskell
17
star
5

schemas

A library for schema-guided serialization of Haskell datatypes
Haskell
16
star
6

ghc-check

utility to detect mismatches of ghc api versions
Haskell
8
star
7

monadloc

A class for monads which can keep a stack trace
Haskell
8
star
8

narradar

An automatic prover of termination of logic programs and narrowing
Haskell
8
star
9

prolog

Prolog parser, pretty printer and evaluator in Haskell
Haskell
8
star
10

control-monad-free

Free monads and monad transformers
Haskell
7
star
11

strict-types

Type and value level predicates for demanding strict types
Haskell
7
star
12

arrowp

Modern fork of the Arrow notation preprocessor
Haskell
7
star
13

threepenny-editors

Composable algebraic editors
Haskell
6
star
14

trs

A library for working with Term Rewriting Systems
Haskell
5
star
15

trsparser

A parser for the TPDB format for describing TRSs
Haskell
5
star
16

control-monad-failure

A class of monads which can fail with an error
Haskell
4
star
17

haskell-src-exts-util

Utility code for working with haskell-src-exts
Haskell
4
star
18

prolog-tools

Some small tools, including a simple sharing analysis
Haskell
4
star
19

hp2pretty

Fork of http://code.mathr.co.uk/hp2pretty.git
Haskell
3
star
20

fetchrules

Utilities for automatic parsing and conversion of TRSs in several formats
Haskell
3
star
21

safe-failure

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

haskell-src-exts-observe

Orphan Observable instances for haskell-src-exts datatypes
Haskell
3
star
23

monadloc-pp

A preprocessor for the monadloc package
Haskell
3
star
24

yices

fork of Ki Yung Ahn's yices Haskell package
Haskell
3
star
25

alacarte

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

bindings-yices

Haskell bindings to the Yices SMT solver
Haskell
3
star
27

safe-failure-cme

Instances for the encoding of explicitly typed exceptions provided by the control-monad-exception package
Haskell
2
star
28

NoHoed

Convenience package to preserve debug ability via conditional builds
Haskell
2
star
29

parsec-tagsoup

Write Parsec parsers for streams of TagSoup tags
Haskell
2
star
30

muterm-framework-charts

Haskell
2
star
31

hexml-lens

Lenses for working with XML data
Haskell
2
star
32

icfp2013

icfp 2013 non entry
Haskell
2
star
33

funsat-rpo

Funsat extension to Recursive Path Order constraints
Haskell
2
star
34

hspec-dynamic-format

A custom formatter for hspec capable of dynamically displaying all the running examples
Haskell
2
star
35

satchmo

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

clr-inline

Mirror of https://gitlab.com/tim-m89/clr-haskell
Haskell
2
star
37

triefamily

Simple type families based Tries and Bitries
Haskell
2
star
38

satchmo-backends

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

hoed-extras

Hood (hoed) instances for various types
Haskell
1
star
40

tinyXml

A fast approximate XML parser inspired by github.com/ndmitchell/hexml
Haskell
1
star
41

debug-pp

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

xml-bench

A container project for benchmarks of Haskell xml parsing libraries
Haskell
1
star
43

fused-effects-mtl

MTL and monad-control instances for fused-effects carriers
Haskell
1
star
44

control-monad-free-extras

Extra instances for control-monad-free types
Haskell
1
star
45

ministg-maude

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

diablogrep

Quick hack for grepping D3 character stats from Battle.net api
Haskell
1
star
47

deepseq-extras

Higher order version of the NFData class in the spirit of the prelude-extras package
Haskell
1
star
48

funsat-lang

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

debug-hoed

A backend for the debug package built with Hoed
HTML
1
star
50

aoc2018

Haskell
1
star
51

hoed-mini

Debug anything without recompiling everything!
Haskell
1
star
52

yices-0.0.0.12

Fork of Ki Yung Ahn's yices package v0.0.0.12
Haskell
1
star
53

hood-off

hood-off
Haskell
1
star
54

nixpkgs.config

My nixpkgs config
Nix
1
star
55

ProcessPar

Run computations off-process
Haskell
1
star
56

organ

On the duality of streams
Haskell
1
star