Derek Rayside (drayside)

drayside

Geek Repo

0

following

0

stars

Company:University of Waterloo

Github PK Tool:Github PK Tool


Organizations
manifold-lang

Derek Rayside's repositories

fun_encode

Scripts to encode little messages, intended for fun educational purposes.

Language:RubyLicense:CC0-1.0Stargazers:0Issues:0Issues:0

se-retrospective

20-year retrospective on Waterloo SE

Stargazers:0Issues:0Issues:0

se-capstone-db

API interface for the front-end

Language:JavaScriptStargazers:1Issues:0Issues:0

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.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bordeaux

Near-border examples for Alloy

Language:JavaStargazers:3Issues:0Issues:0

site-ecegit

A university site for code and course management built on the Django framework

Language:PythonStargazers:0Issues:0Issues:0

graphviz.sty

LaTeX package to write Graphviz (dot) files inline

Language:TeXLicense:LPPL-1.3cStargazers:12Issues:0Issues:0

pymodoro

Pymodoro is the Pomodoro for Xmobar or Dzen. It runs and it tells you where you are in your current pomodoro session.

Language:PythonStargazers:0Issues:0Issues:0

kodkod

Kodkod relational model finder

Language:JavaLicense:NOASSERTIONStargazers:2Issues:0Issues:0