Mango Team

University of California San Diego, La Jolla, California, US

Pinned Repositories

auto-mock
Language:CSS00
daikon
Dynamic detection of likely invariants
Language:C00
flightlessbird.js
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
Language:TypeScript00
inferui-eval
Language:Python0 3 00
kiwi
Language:JavaScript00
mockdown
The complete Mockdown pipeline implemented in Python 3.7.
Language:Jupyter Notebook11
mockdown-client
Client and utility code for interfacing a JS app with mockdown.
Language:TypeScript11
replication-package
Replication package for FSE '21, Synthesis of Web Layouts from Examples
Language:Python00

Mango Team's Repositories

MangoTeam/mockdown
The complete Mockdown pipeline implemented in Python 3.7.
Language:Jupyter Notebook11
MangoTeam/mockdown-client
Client and utility code for interfacing a JS app with mockdown.
Language:TypeScript11
MangoTeam/auto-mock
Language:CSS00
MangoTeam/daikon
Dynamic detection of likely invariants
Language:C00
MangoTeam/flightlessbird.js
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
Language:TypeScript00
MangoTeam/inferui-eval
Language:Python0 3 00
MangoTeam/kiwi
Language:JavaScript00
MangoTeam/replication-package
Replication package for FSE '21, Synthesis of Web Layouts from Examples
Language:Python00