Explore projects

Pull arc examples and convert them to first order logic, prolog syntax

Userscripts to help ease the pain of CaTE

This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.

In our recent Rails training day, we started building a twitter-like microblogging platform called "Chorus", with users signing up (no passwords), signing in, signing out, with signed in users able to add short "Chirps". I did some more work...

CRDT-based p2p Drawing Application

A hybrid support chatbot for the Self-Attachment Technique (SAT) mobile app.

The repository includes the mobile app, trained models, synthetic datasets, evaluation notebooks, and a production-ready backend.

Backup repository for https://github.com/resource-reasoning/JS_Parser

DoC backup of https://github.com/resource-reasoning/jscert_dev

A Specification-Close Reference Interpreter for ECMAScript. Backup/departmental testing repository for https://github.com/jscert/jsexplain

An executable formal semantics of PHP 5