vharisop Goto Github PK

advdb

biographs

cheat

cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.

concurrent-trees

Concurrent Radix and Suffix Trees for Java

coq-polyhedra

Formalizing convex polyhedra in Coq

coq_exercises

Solutions to random problems using the Coq proof assistant.

coqeal

CoqEAL -- The Coq Effective Algebra Library

coquille

Interactive theorem proving with Coq in vim.

cornell-scan.github.io

SCAN seminar page.

dotfiles

My dotfiles for my Linux system.

entrywise-convergence

firstorderlp.jl

Experimental first-order solvers for linear and quadratic programming.

gmlib

Useful libraries in Python

inc-spectral-embeddings

Code for the paper "Incrementally Updated Spectral Embeddings"

iterative_reconstruction_networks

iterativesolvers.jl

Iterative algorithms for solving linear systems, eigensystems, and singular value problems

jinsect

The JINSECT toolkit is a Java-based toolkit and library that supports and demonstrates the use of n-gram graphs within Natural Language Processing applications, ranging from summarization and summary evaluation to text classification and indexing.

latex-macros

A set of useful macros for LaTeX

manifoldlearning.jl

A Julia package for manifold learning and nonlinear dimensionality reduction

math-6410---hw2

Solutions for Cornell's MATH 6410 - Problem Set 2

maxplus

An Octave toolbox for performing common tasks in max algebra.

molokai

Molokai color scheme for Vim

ncvx

nggspamfilter

A simple spam filter using N-gram graphs and the JInsect toolkit.

ntree

A generic custom N-ary tree in Java.

orie-7390-notes

Notes from ORIE 7390, Fall 2018.

parallel

projecteuler

Project Euler exercises. Mostly in Scala

prolog-bits

Prolog code snippets to make your life easier.

scs

Splitting Conic Solver