Repositories list

• SMPy

  Public
  Python interface for SM language

  Python

  •

  Apache License 2.0

  •2•4•15•0•Updated Mar 12, 2024Mar 12, 2024

• SurveyMan

  Public
  SurveyMan programming language.

  Java

  •18•46•54•0•Updated Nov 27, 2016Nov 27, 2016

• surveyman.github.io

  Public
  CSS

  •1•0•1•0•Updated Nov 18, 2016Nov 18, 2016

• Runner

  Public
  Manages jobs, quality control, communication with various backends

  Java

  •

  Apache License 2.0

  •6•2•33•1•Updated Jul 14, 2016Jul 14, 2016

• Schemata

  Public
  Python

  •1•2•0•0•Updated Jul 7, 2016Jul 7, 2016

• surveyman.js

  Public
  The browser interpreter for a compiled surveyman program.

  JavaScript

  •5•4•7•0•Updated Jul 3, 2016Jul 3, 2016

• react-surveyman

  Public
  SurveyMan in React

  JavaScript

  •

  BSD 2-Clause "Simplified" License

  •27•3•12•0•Updated Jan 21, 2016Jan 21, 2016

• EMPy

  Public
  Python

  •1•0•0•0•Updated Apr 29, 2015Apr 29, 2015

• Debugger

  Public
  Debug server for SurveyMan.

  JavaScript

  •1•1•0•0•Updated Mar 8, 2015Mar 8, 2015

• SMGoogleSheetsPlugin

  Public
  Gosu

  •2•1•6•0•Updated Sep 7, 2014Sep 7, 2014

• tryptophan

  Public
  Making Mechanical Turk more RESTful

  Clojure

  •0•0•0•0•Updated Sep 6, 2014Sep 6, 2014

• SMSim

  Public
  Julia

  •1•0•0•0•Updated Aug 31, 2014Aug 31, 2014

• proofs

  Public
  Coq

  •0•0•0•0•Updated Aug 20, 2014Aug 20, 2014