Make Zotero effective for us LaTeX holdouts

Extracts and formats text annotations from a PDF file

A non-validating SQL parser module for Python

Restore a truncated mp4/mov. Improved version of ponchio/untrunc

Papers from the computer science community to read and discuss.

🎆Interactive Online Platform that Visualizes Algorithms from Code

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing

Learn how to design, develop, deploy and iterate on production-grade ML applications.

The Z3 Theorem Prover

妈妈计划-众人拾柴火焰高

A collection of tools for University of Waterloo students, made by University of Waterloo students!

Linux kernel source tree

Some experiments for Linux buddy system

A presentation on the RadixVM virtual memory system, given to CS854 at U of Waterloo.

A presentation on the topic of virtual memory for CS854.

Tests performance of the slab allocator used by OpenIndiana

A presentation on the topic of virtual memory for CS854.

A presentation on the topic of virtual memory for CS854.

Global Sensor Networks

Open Source Communication Provider based on WebRTC and Cloud technologies

📝 Markdown preview in Atom

Independent technology for modern publishing, memberships, subscriptions and newsletters.