Pinned Repositories
SuperPolyak.jl
BioGraphs
dotfiles
My dotfiles for my Linux system.
gmlib
Useful libraries in Python
inc-spectral-embeddings
Code for the paper "Incrementally Updated Spectral Embeddings"
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
maxplus
An Octave toolbox for performing common tasks in max algebra.
simple-markov
A python library for markov chains used in Stochastic Processes course in NTUA
VHarisop's Repositories
VHarisop/latex-macros
A set of useful macros for LaTeX
VHarisop/simple-markov
A python library for markov chains used in Stochastic Processes course in NTUA
VHarisop/inc-spectral-embeddings
Code for the paper "Incrementally Updated Spectral Embeddings"
VHarisop/BioGraphs
VHarisop/gmlib
Useful libraries in Python
VHarisop/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.
VHarisop/maxplus
An Octave toolbox for performing common tasks in max algebra.
VHarisop/ORIE-7390-Notes
Notes from ORIE 7390, Fall 2018.
VHarisop/Simpletar
Simpletar is a (simple) Python wrapper around UNIX's tar tool.
VHarisop/dotfiles
My dotfiles for my Linux system.
VHarisop/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.
VHarisop/concurrent-trees
Concurrent Radix and Suffix Trees for Java
VHarisop/Coq-Polyhedra
Formalizing convex polyhedra in Coq
VHarisop/coq_exercises
Solutions to random problems using the Coq proof assistant.
VHarisop/CoqEAL
CoqEAL -- The Coq Effective Algebra Library
VHarisop/coquille
Interactive theorem proving with Coq in vim.
VHarisop/cornell-scan.github.io
SCAN seminar page.
VHarisop/entrywise-convergence
VHarisop/FirstOrderLp.jl
Experimental first-order solvers for linear and quadratic programming.
VHarisop/iterative_reconstruction_networks
VHarisop/IterativeSolvers.jl
Iterative algorithms for solving linear systems, eigensystems, and singular value problems
VHarisop/ManifoldLearning.jl
A Julia package for manifold learning and nonlinear dimensionality reduction
VHarisop/MATH-6410---HW2
Solutions for Cornell's MATH 6410 - Problem Set 2
VHarisop/ncvx
VHarisop/nggSpamFilter
A simple spam filter using N-gram graphs and the JInsect toolkit.
VHarisop/NTree
A generic custom N-ary tree in Java.
VHarisop/scs
Splitting Conic Solver
VHarisop/ssrbit
A small library for Bit Sequences
VHarisop/SuperPolyak.jl
VHarisop/xonsh
xonsh is a Python-ish, BASHwards-facing shell.