Skip to content

Instantly share code, notes, and snippets.

View ibogun's full-sized avatar

Ivan ibogun

View GitHub Profile

How to Setup emacs irony-mode in Ubuntu-12.04

I recently found a nice emacs-mode, [irony-mode], which can be used with [company-mode], [flycheck-mode], and [eldoc-mode]. It works nicely with CMake-based projects. The document contains a list of instructions for setting things up. I assume that you're using a fresh-installed Ubuntu-12.04.5 (64-bit). It uses [Lean theorem prover][lean] as an example project.

@ibogun
ibogun / imagenet_memory.prototxt
Created May 26, 2016 19:04
ImageNet memory proto file for feature extraction in MBestStruck
name: "CaffeNet"
layer {
name: "input"
type: "MemoryData"
top: "data"
top: "label"
transform_param {
mirror: false
package graphs;
import java.util.Comparator;
import java.util.PriorityQueue;
public class SpanningTree {
private Double[] distances;
private WeightedGraph graph;
boolean debug = true;
package graphs;
import java.util.Arrays;
import java.util.Stack;
public class DFS {
private Color[] colors;
private Integer[] predecessors;
private Integer[] distances;
package graphs;
import java.util.Arrays;
import java.util.LinkedList;
import java.util.Queue;
public class BFS {
private Color[] colors;
private Integer[] predecessors;
package graphs;
public class WeightedGraph extends Graph {
private double[][] weights;
public WeightedGraph(int V) {
super(V);
weights = new double[V][V];
}
@ibogun
ibogun / Graph.java
Created April 20, 2016 14:57
Graph.java
package graphs;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
public class Graph {
private int V;
private int E = 0;
@ibogun
ibogun / gif
Created April 18, 2016 15:56
Create GIF from command line
convert -delay 5 -loop 0 source*.jpg animated.gif
% To generate bibitem bbl file
\documentclass{article}
\begin{document}
\nocite{*}
\bibliographystyle{plain}
\bibliography{biblio}
\end{document}
where biblio is the name of your .bib file.
@ibogun
ibogun / gist:bc7f8808d08be507b643
Created March 19, 2016 01:57
Fix python error with opencv
sudo ln /dev/null /dev/raw1394