Vasilis Charisopoulos's repositories
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"
ORIE-7390-Notes
Notes from ORIE 7390, Fall 2018.
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.
cornell-scan.github.io
SCAN seminar page.
FirstOrderLp.jl
Experimental first-order solvers for linear and quadratic programming.
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
nggSpamFilter
A simple spam filter using N-gram graphs and the JInsect toolkit.
scs
Splitting Conic Solver