MuradAkh

LittleLogistics

Water and Rail logistics mod for Minecraft Forge

UofTCourseInfo

Adds tooltips to U of T courses mentioned across the web

UofTControlPanel

TOP SECRET!!!!

Cobalt-CORS-Proxy

Use UofT Cobalt API in Client Side code. CORS enabled.

fpga-lightbike

muradakh.github.io

My personal webpage

Qicc

Expediting verification of assertions in loops by isolation

UofTMap

Legacy UofT map

Variability-Datalog-C

Extracting Datalog Facts from C programs with variability

cil

C Intermediate Language

cil-plugin-skeleton

Build skeleton and examples of simple CIL plugins

CourseInfoBackend

Caching service & proxy for UofTCourseInfo extension

Enigma

Enigma machine simulator written in Swing

gnome-shell-screenshot

Gnome Shell extension for making and uploading screenshots

intAbs

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

LiteLoadLib

Little Logistics chunk management library

LittleLogisticsBlockBench

Blockbench files for Little Logistics mod

ratemyprofessors

RateMyProfessors

Sicc

Speakeasy

Practice Public Speaking

TypeChef

Type checking ifdef variability

typechef-busybox-output

TypeChef-BusyboxAnalysis

UofTCourseMapper

Draws a Map of Courses at UofT

UofTDirectory

Scrapped UofT directory in JSON format

xtc

The xtc project including SuperC and Kmax