SurveyMan

Pinned Repositories

Debugger
Debug server for SurveyMan.
Language:JavaScript1 3 11
EMPy
Language:Python0 3 01
proofs
Language:Coq0 3 00
react-surveyman
SurveyMan in React
Language:JavaScript3 3 152
Runner
Manages jobs, quality control, communication with various backends
Language:Java2 3 476
Schemata
Language:Python2 3 31
SMGoogleSheetsPlugin
Language:Gosu1 9 72
SMPy
Python interface for SM language
Language:Python4 9 192
SurveyMan
SurveyMan programming language.
Language:Java46 9 43718
surveyman.js
The browser interpreter for a compiled surveyman program.
Language:JavaScript4 3 125

SurveyMan's Repositories

SurveyMan/SurveyMan
SurveyMan programming language.
Language:Java46 9 43718
SurveyMan/SMPy
Python interface for SM language
Language:Python4 9 192
SurveyMan/surveyman.js
The browser interpreter for a compiled surveyman program.
Language:JavaScript4 3 125
SurveyMan/react-surveyman
SurveyMan in React
Language:JavaScript3 3 152
SurveyMan/Runner
Manages jobs, quality control, communication with various backends
Language:Java2 3 476
SurveyMan/Schemata
Language:Python2 3 31
SurveyMan/Debugger
Debug server for SurveyMan.
Language:JavaScript1 3 11
SurveyMan/SMGoogleSheetsPlugin
Language:Gosu1 9 72
SurveyMan/EMPy
Language:Python0 3 01
SurveyMan/proofs
Language:Coq0 3 00
SurveyMan/SMSim
Language:Julia3 01
SurveyMan/surveyman.github.io
Language:CSS4 21
SurveyMan/tryptophan
Making Mechanical Turk more RESTful
Language:Clojure3 0