emilaxelsson/ho-rewriting

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 9 years ago
Updated about 6 years ago

emilaxelsson/ho-rewriting

emilaxelsson

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

A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders

trackit

A command-line tool for live monitoring

syntactic

Generic representation and manipulation of abstract syntax

imperative-edsl

Deep embedding of imperative programs with code generation

quirinius

A simple type-safe query EDSL

ag-graph

Attribute Grammars on Graphs

dino

A convenient tagless EDSL

milkshake

Utilities for building static sites using Shake

circular-hos

Implementation of higher-order syntax using circular programming

operational-alacarte

A version of Operational suitable for EDSLs extensible via data types à la carte

deep-shallow-edsl

Combining Deep and Shallow Embedding for EDSL

open-typerep

Open type representations and dynamic types

hzenity

Haskell interface to Zenity dialogs

git-watch

Get a live view of a Git revision tree in the terminal

haskell-exp-parser

Simple parser parser from Haskell to TemplateHaskell expressions

feldspar-io

An "IO monad" for Feldspar

prelude-edsl

An EDSL-motivated subset of the Prelude

tree-view

Haskell library to render trees as foldable HTML and unicode art

lambda-edsl

EDSLs based on lambda calculus

rhino

A DSL for defining functions on structured data

fp-presentation-15

Presentation of the Chalmers FP group at student lunch seminars

ghccheck

A wrapper around GHC to make it easier to use in an IDE compile loop