Beast code in Giters

Yvan Vivid's repositories

Interactive theorem proving with Coq in vim.

Language:Vim ScriptISC020

Provide extensions, themes and use cases for deck.js

Language:JavaScript020

Modern HTML Presentations

Language:JavaScriptGPL-2.0020

Future of Science

Language:JavaScript030

Due September 03, 2013

020

Stat 157 Questionnaire Data Wrangling

Language:Python020

The HTML Presentation Framework

Language:JavaScriptMIT020

A window management application (replacement for Divvy/SizeUp/ShiftIt)

Language:Objective-CGPL-3.0020