aneeshdurg

#!/usr/bin/python2 -u
# Needs to run with unbuffered python

"""
This script will flash the keyboard backlight when a notifcation is recieved.
The number of flashes/duration can be configured in 'config.json'.
Note that the parameter 'user' must be the user whose notifications should be
monitored.

Usage:

aneeshdurg

<script>
/**
    An example of using MediaSource with a stream.

    Based off of http://nickdesaulniers.github.io/netfix/demo/bufferAll.html
*/
document.addEventListener("DOMContentLoaded", async () => {
    var video = document.querySelector('video');

    var assetURL = 'frag_bunny.mp4';

aneeshdurg

CREATE
 (OC_AddOrSubtractExpression :AddOrSubtractExpression),
 (OC_AndExpression :AndExpression),
 (OC_AnonymousPatternPart :AnonymousPatternPart),
 (OC_Atom :Atom),
 (OC_BooleanLiteral :BooleanLiteral),
 (OC_CaseAlternatives :CaseAlternatives),
 (OC_CaseExpression :CaseExpression),
 (OC_ComparisonExpression :ComparisonExpression),
 (OC_Create :Create),

aneeshdurg

#!/usr/bin/env python3
from pathlib import Path
from typing import Optional
                                                                                  
import click
                                                                                  
import clang.cindex
                                                                                  
                                                                                  
def dump_ast(tu: clang.cindex.TranslationUnit):

aneeshdurg

// Usage: bin/gremlin.sh -e load.groovy
// This file loads LDBC CSV files into a graph
import java.text.SimpleDateFormat
dateFormat = new SimpleDateFormat("yyyy-MM-dd");
timestampFormat = new SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss")

def defineSchemaAndIndices(graph) {
  mgmt = graph.openManagement(); // create management object

  // define vertex labels