Giters
Adam Chlipala (achlipala)

achlipala

Geek Repo

350

followers

0

following

4

stars

Company:MIT

Location:Cambridge, MA

Home Page:http://adam.chlipala.net/

Github PK Tool:Github PK Tool

Adam Chlipala's starred repositories

urweb

The Ur/Web programming language

Language:Standard MLLicense:NOASSERTIONStargazers:807Issues:34Issues:155

upo

The Ur/Web People Organizer

Language:UrWebLicense:NOASSERTIONStargazers:29Issues:6Issues:12

frapapp

Web application for course on Formal Reasoning About Programs

Language:UrWebLicense:NOASSERTIONStargazers:15Issues:6Issues:10

upo_mit

UPO extensions for MIT

Language:UrWebStargazers:3Issues:3Issues:0