emilaxelsson/lambda-edsl emilaxelsson/lambda-edsl

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
emilaxelsson/lambda-edsl
github

emilaxelsson

Reviews

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

Repository Details

EDSLs based on lambda calculus

More Repositories

1

trackit

A command-line tool for live monitoring
Haskell
25
star
2

syntactic

Generic representation and manipulation of abstract syntax
Haskell
25
star
3

imperative-edsl

Deep embedding of imperative programs with code generation
Haskell
23
star
4

quirinius

A simple type-safe query EDSL
Haskell
15
star
5

ho-rewriting

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

ag-graph

Attribute Grammars on Graphs
Haskell
10
star
7

dino

A convenient tagless EDSL
Haskell
8
star
8

milkshake

Utilities for building static sites using Shake
Haskell
6
star
9

circular-hos

Implementation of higher-order syntax using circular programming
Haskell
5
star
10

operational-alacarte

A version of Operational suitable for EDSLs extensible via data types Γ  la carte
Haskell
5
star
11

deep-shallow-edsl

Combining Deep and Shallow Embedding for EDSL
Haskell
5
star
12

open-typerep

Open type representations and dynamic types
Haskell
4
star
13

hzenity

Haskell interface to Zenity dialogs
Haskell
3
star
14

git-watch

Get a live view of a Git revision tree in the terminal
Shell
2
star
15

haskell-exp-parser

Simple parser parser from Haskell to TemplateHaskell expressions
Haskell
2
star
16

feldspar-io

An "IO monad" for Feldspar
Haskell
1
star
17

prelude-edsl

An EDSL-motivated subset of the Prelude
Haskell
1
star
18

tree-view

Haskell library to render trees as foldable HTML and unicode art
Haskell
1
star
19

rhino

A DSL for defining functions on structured data
Haskell
1
star
20

fp-presentation-15

Presentation of the Chalmers FP group at student lunch seminars
Haskell
1
star
21

ghccheck

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