Pinned Repositories
pymodoro
Pymodoro is the Pomodoro for Xmobar or Dzen. It runs and it tells you where you are in your current pomodoro session.
bordeaux
Near-border examples for Alloy
fun_encode
Scripts to encode little messages, intended for fun educational purposes.
graphviz.sty
LaTeX package to write Graphviz (dot) files inline
kodkod
Kodkod relational model finder
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
pymodoro
Pymodoro is the Pomodoro for Xmobar or Dzen. It runs and it tells you where you are in your current pomodoro session.
se-capstone-db
API interface for the front-end
se-retrospective
20-year retrospective on Waterloo SE
site-ecegit
A university site for code and course management built on the Django framework
drayside's Repositories
drayside/graphviz.sty
LaTeX package to write Graphviz (dot) files inline
drayside/bordeaux
Near-border examples for Alloy
drayside/kodkod
Kodkod relational model finder
drayside/se-capstone-db
API interface for the front-end
drayside/fun_encode
Scripts to encode little messages, intended for fun educational purposes.
drayside/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
drayside/pymodoro
Pymodoro is the Pomodoro for Xmobar or Dzen. It runs and it tells you where you are in your current pomodoro session.
drayside/se-retrospective
20-year retrospective on Waterloo SE
drayside/site-ecegit
A university site for code and course management built on the Django framework