VHarisop

latex-macros

A set of useful macros for LaTeX

simple-markov

A python library for markov chains used in Stochastic Processes course in NTUA

inc-spectral-embeddings

Code for the paper "Incrementally Updated Spectral Embeddings"

BioGraphs

gmlib

Useful libraries in Python

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.

maxplus

An Octave toolbox for performing common tasks in max algebra.

ORIE-7390-Notes

Notes from ORIE 7390, Fall 2018.

Simpletar

Simpletar is a (simple) Python wrapper around UNIX's tar tool.

dotfiles

My dotfiles for my Linux system.

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.

entrywise-convergence

FirstOrderLp.jl

Experimental first-order solvers for linear and quadratic programming.

iterative_reconstruction_networks

IterativeSolvers.jl

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

ManifoldLearning.jl

A Julia package for manifold learning and nonlinear dimensionality reduction

MATH-6410---HW2

Solutions for Cornell's MATH 6410 - Problem Set 2

ncvx

nggSpamFilter

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

NTree

A generic custom N-ary tree in Java.

scs

Splitting Conic Solver

ssrbit

A small library for Bit Sequences

SuperPolyak.jl

xonsh

xonsh is a Python-ish, BASHwards-facing shell.