george: User Manual

[ Introduction ] [ File Structure ] [ #check PROP ] [ #check PRED ] [ #check PREDTYPES ] [ #check TP ]
[ #check ND ] [ #check ST ] [ Arithmetic ] [ Sets ] [ #check Z ] [ #check PC ]
[ Contributions by Students ] [ Credits ] Keywords ]

Contributions

On this page, we provide some handy tools that students have written to support SE212 and george, including plug-ins for some editors. These plug-ins allow one to get feedback from george without using the web interface.

etherpad for george

Developer: Todd Litchy (UW CSCF)
Tool: Link to tool (must be on-campus or connected to the UW VPN)
Features: Multiple people can collaborate on editing a george file
Last update: 9 Oct 2019

george-downloader

Developers: Danilo Joksimovic (2019)
Tool: Link to tool
Source: Link at github
Features: Script for Downloading Assignment grg files; adds user ids
Last update: 9 Oct 2019

Boole

Developers: Shazz Amin and Derek Yin (2018)
Tool Now hosted at U Waterloo at: boole Chrome extension
Source: Link at github
Source: Src for Chrome extension
Features: Auto-complete for George keywords; File management system for assignments and homeworks (with auto-fetching, saving, downloading); Modern UI (more obvious feedback, dark mode, fullscreen editor); Verification with George; Published under MIT license
Last update: Sep 2019

Atom (Updated)

Developer: Sajjad Zamani (2017)
Source: Link at atom.io
Instructions: available in the site.
Last update: 29 Nov 2017

Visual Studio

Adds .grg file syntax highlighting and the ability to run .grg files without the use of the web interface
Developer: Ankit Minesh Patel, Nim Wejitunga, Taha Masood
Source: https://github.com/Ankit-Patel10/GeorgeCode
Instructions: https://marketplace.visualstudio.com/items?itemName=vsgeorgey.georgecode
Last update: 25 Sep 2018

Atom

Developer: Ethan Hardy, George Utsin (2016)
Source: Link at atom.io
Instructions: available in the site.
Last update: 11 Sep 2018 (v1.5.0 now contains correct path to george)

Minimal CLI for George

Developer:Philip John Scott (2017)
Source: NPM
github
Instructions: It can easily be installed via NPM or Yarn. It doesn't technically fall under the category of an editor add-on, but it's useful in the sense that you can test your files without opening a browser or an editor.
Last update: 18 Oct 2017

vim

Developer:Aiden Benner (2017), Jack Zhou (2015)
Source: github
Instructions: available in the site.
Last update: 17 Oct 2017

Script for Downloading Assignment grg files

Developer: Aiden Benner
Source: Assignment download script
Instructions: in script
Last update: 17 Oct 2017

Sublime

Developer: Shivansh Dhar
Source: Georgify on github
Instructions: available in the Official Sublime Package Manager
Last update: 16 Oct 2017

Sublime

Developer: Chris DeVisser
Source: sublime.zip
Instructions: available in the source.
Last update: 02 Oct 2014