Giters
Philip Wadler (wadler)

wadler

Geek Repo

623

followers

0

following

0

stars

Company:University of Edinburgh

Location:Edinburgh

Home Page:http://homepages.inf.ed.ac.uk/wadler/

Github PK Tool:Github PK Tool

Organizations
plfa

Philip Wadler's repositories

fp-competition-2021

Stargazers:5Issues:1Issues:0

edprelude

Language:HaskellStargazers:4Issues:1Issues:0

bnfc-examples

Examples using BNFC-meta

Stargazers:3Issues:2Issues:0

roberto

Collaboration with Roberto Ierusalimschy

Stargazers:2Issues:1Issues:0

edprelude-pages

Pages site for the EdPrelude project.

Stargazers:1Issues:1Issues:0

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

Language:JavaScriptLicense:Apache-2.0Stargazers:1Issues:1Issues:0

MiniFeldspar

Language:HaskellStargazers:0Issues:1Issues:0