wadaries

Rocketfule-ISP-Topology

jekyll-lunr-js-search

Jekyll + lunr.js = static websites with powerful full-text search using JavaScript

NSDI15

ravel

sosr19-experiment

cli-ravel

Temporary workspace for Ravel

Connect-DB-and-network

coursegen

Course web page generator framework

Find-the-DB-for-SDN

gdoc_latex_sample

gnuplot-colorbrewer

ColorBrewer color schemes for gnuplot

jekyll

Jekyll is a blog-aware, static site generator in Ruby

jekyll-auth

A simple way to use Github Oauth to serve a protected jekyll site to your GitHub organization

jekyll-table-of-contents

A simple JavaScript table of contents, designed for Jekyll (or similar) sites.

liquid

Liquid markup language. Safe, customer facing template language for flexible web apps.

markdown-here

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

min-max-font-size

Using vw or vh CSS units? Set a min or max font-size for your type.

minted

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

PostgreSQL-Temporal

Temporal extensions for PostgreSQL

python-prompt-toolkit

Library for building powerful interactive command lines in Python

residue-generator

Simple-Jekyll-Search

A JavaScript library to add search functionality to any Jekyll blog.

SinglePaged

SinglePaged - Simple Jekyll template

z3

The Z3 Theorem Prover