schasins
Computer Science, UC Berkeley. Programming languages, program synthesis, human-computer interaction.
Pinned Repositories
dicer
helena
A Chrome extension for writing custom web scraping programs and web automation programs. Just demonstrate how to collect the first row of data, then let the extension write the program for collecting all rows.
helena-diy-digital-assistant
A programming-by-demonstration tool for adding custom 'skills' to a voice assistant by demonstrating how the voice assistant should answer.
helena-docker
helena-lang
The core Helena web automation programming language. This is the library to use if you want to add Helena to your own PBD web automation tool.
helena-server
The backend for the Helena Chrome extension, a server that stores representations of web relations, among other things.
PPL-synthesis
A program synthesis tool for generating full PPL programs (specifically BLOG programs) from input datasets.
reactive-motion-planning-synthesis
Using SyGuS to synthesize reactive motion planners.
structured-data-scraping-extension
WebCombine. An early prototype of the technology that would eventually become the Helena web automation tool.
web-scripting-extension
A low-level web automation language. A precursor to the version of the Ringer library that is currently used within the Helena language.
schasins's Repositories
schasins/helena
A Chrome extension for writing custom web scraping programs and web automation programs. Just demonstrate how to collect the first row of data, then let the extension write the program for collecting all rows.
schasins/structured-data-scraping-extension
WebCombine. An early prototype of the technology that would eventually become the Helena web automation tool.
schasins/helena-lang
The core Helena web automation programming language. This is the library to use if you want to add Helena to your own PBD web automation tool.
schasins/PPL-synthesis
A program synthesis tool for generating full PPL programs (specifically BLOG programs) from input datasets.
schasins/helena-docker
schasins/helena-server
The backend for the Helena Chrome extension, a server that stores representations of web relations, among other things.
schasins/reactive-motion-planning-synthesis
Using SyGuS to synthesize reactive motion planners.
schasins/dicer
schasins/one-file-site
schasins/social-sixth-sense
schasins/helena-diy-digital-assistant
A programming-by-demonstration tool for adding custom 'skills' to a voice assistant by demonstrating how the voice assistant should answer.
schasins/web-scripting-extension
A low-level web automation language. A precursor to the version of the Ringer library that is currently used within the Helena language.
schasins/behavioral-data-mining-scala
schasins/data-extraction-extension
schasins/DishShamer
schasins/fz-site
schasins/list-finder-extension
schasins/node-addressing-extension
schasins/opengovernment
OpenGovernment -- a project of the Participatory Politics Foundation
schasins/phantomjs-js-experiment-framework
schasins/school-program-scraping
schasins/synthesize-dataset-insights
schasins/text-mining-extension
schasins/unstructured-data-scraping-extension
schasins/waveboard
Exploring interactions that augment the waveboard experience.
schasins/web-knowledge-graph-ingestion
schasins/web-scripting-with-readability-extension
schasins/webcombine
schasins/webpage-customization-with-PBD