Giters
Roly Perera (rolyp)

rolyp

Geek Repo

19

followers

0

following

4

stars

Company:University of Cambridge/University of Bristol

Location:Bristol, UK

Home Page:dynamicaspects.org/research

Twitter:@rolyp

Github PK Tool:Github PK Tool

Organizations
wrattler

Roly Perera's repositories

proof-relevant-pi

Language:AgdaStargazers:7Issues:1Issues:0

agda-stdlib-ext

Language:AgdaStargazers:2Issues:1Issues:0

concurrent-slicing

Language:AgdaStargazers:2Issues:1Issues:0

bidi

Bidirectional experiment

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

documentation

Documentation for the PureScript language, compiler, and tools.

License:NOASSERTIONStargazers:0Issues:0Issues:0

fluid

The Fluid programming language

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0