pepeiborra

Pepe Iborra's repositories

term

Term Rewriting Systems

Language:Haskell17 70

monadloc

A class for monads which can keep a stack trace

Language:Haskell8 6 3

prolog

Prolog parser, pretty printer and evaluator in Haskell

Language:Haskell8 70

trsparser

A parser for the TPDB format for describing TRSs

Language:HaskellNOASSERTION5 70

control-monad-failure

A class of monads which can fail with an error

Language:Haskell4 50

prolog-tools

Some small tools, including a simple sharing analysis

Language:HaskellNOASSERTION4 40

alacarte

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

Language:HaskellNOASSERTION3 40

bindings-yices

Haskell bindings to the Yices SMT solver

Language:HaskellNOASSERTION3 40

funsat

An efficient, embeddable DPLL SAT solver in Haskell

Language:HaskellBSD-3-Clause3 30

monadloc-pp

A preprocessor for the monadloc package

Language:Haskell3 3 1

safe-failure

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

Language:HaskellBSD-3-Clause300

funsat-rpo

Funsat extension to Recursive Path Order constraints

Language:HaskellNOASSERTION2 40

icfp2013

icfp 2013 non entry

Language:Haskell200

parsec-tagsoup

Write Parsec parsers for streams of TagSoup tags

Language:Haskell2 40

safe-failure-cme

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

Language:Haskell2 40

control-monad-free-extras

Extra instances for control-monad-free types

Language:HaskellNOASSERTION1 40

deepseq-extras

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

Language:HaskellNOASSERTION1 30

diablogrep

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

Language:HaskellNOASSERTION1 40

hoed-extras

Hood (hoed) instances for various types

Language:HaskellNOASSERTION100

hoed-mini

Debug anything without recompiling everything!

Language:HaskellNOASSERTION100

hood-off

Language:HaskellNOASSERTION100

ministg-maude

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

1 30

pandoc

Universal markup converter

Language:HaskellGPL-2.01 20

yices-0.0.0.12

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

Language:HaskellBSD-3-Clause1 30

fsharp

The Open Edition of the F# compiler, core library and tools

Language:F#NOASSERTION030

hoodlums-sessions

Code from Hoodlums Meetups

Language:Haskell000

lambdapi

Dependently Typed Lambda Calculus in Haskell

Language:Haskell030

tag-bits

Provides access to GHC's dynamic pointer tag bits

Language:HaskellBSD-3-Clause000

test-framework

Framework for running and organising QuickCheck test properties and HUnit test cases

Language:Haskell030

zippers

Zippers based on lenses and traversals

Language:HaskellNOASSERTION000