Pepe Iborra (pepeiborra)

pepeiborra

Geek Repo

Company:Meta

Location:London, UK

Home Page:http://pepeiborra.wordpress.com

Twitter:@IborraPepe

Github PK Tool:Github PK Tool

Pepe Iborra's repositories

narradar

An automatic prover of termination of logic programs and narrowing

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:6Issues:0

strict-types

Type and value level predicates for demanding strict types

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

threepenny-editors

Composable algebraic editors

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:5Issues:0

muterm-framework

A kernel for a Dependency Pairs termination tool

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:7Issues:0

haskell-src-exts-observe

Orphan Observable instances for haskell-src-exts datatypes

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:3Issues:0

clr-inline

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

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:4Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:2Issues:4Issues:0

NoHoed

Convenience package to preserve debug ability via conditional builds

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

debug-hoed

A backend for the debug package built with Hoed

Language:HTMLLicense:BSD-3-ClauseStargazers:1Issues:3Issues:3

debug-pp

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

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:5Issues:5

organ

On the duality of streams

Language:HaskellStargazers:1Issues:4Issues:0

tinyXml

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

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

xml-bench

A container project for benchmarks of Haskell xml parsing libraries

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

adaptrapezoid_benchmark

benchmark languages that potentially suitable to scientific computing with the adaptive trapezoid numeric integration algorithm

Language:ScalaStargazers:0Issues:2Issues:0

deepseq

Deep evaluation of data structures

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dejafu

Systematic concurrency testing meets Haskell.

Language:HaskellStargazers:0Issues:3Issues:0
Language:CLicense:MITStargazers:0Issues:2Issues:0

Frames

Data frames for tabular data.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

ghc-events

Library and tool for parsing .eventlog files from GHC

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

HCOM

Haskell COM client library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hdirect

An IDL compiler for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

hindent

Haskell pretty printer

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

libgraph

Store and manipulate data in a graph.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

stream-monad

Simple, Fair and Terminating Backtracking Monad

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

threepenny-gui

GUI framework that uses the web browser as a display.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

win32-notify-1

File notification interface for Haskell in Windows

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

xeno

Fast Haskell XML parser

Language:HaskellStargazers:0Issues:3Issues:0