pepeiborra/ghc-check pepeiborra/ghc-check

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pepeiborra/ghc-check
github

pepeiborra

Reviews

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

Repository Details

utility to detect mismatches of ghc api versions

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

monadloc

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

narradar

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

prolog

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

control-monad-free

Free monads and monad transformers
Haskell
7
star
10

strict-types

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

arrowp

Modern fork of the Arrow notation preprocessor
Haskell
7
star
12

threepenny-editors

Composable algebraic editors
Haskell
6
star
13

trs

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

trsparser

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

control-monad-failure

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

muterm-framework

A kernel for a Dependency Pairs termination tool
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