Pinned Repositories
adscape
Crawler code and ad detection algorithm
algo
Set up a personal IPSEC VPN in the cloud
click
Python composable command line utility
click-completion
Add or enhance bash, fish, zsh and powershell completion in Click
coinbase-python
Coinbase Python API
Coq_playground
coquille
Interactive theorem proving with Coq in vim.
craigscrawler
csi-scripts
Repo for various non production related scripts used in CSI team.
data-structures
simple implementations of data-structures
spiliopoulos's Repositories
spiliopoulos/algo
Set up a personal IPSEC VPN in the cloud
spiliopoulos/click
Python composable command line utility
spiliopoulos/click-completion
Add or enhance bash, fish, zsh and powershell completion in Click
spiliopoulos/coinbase-python
Coinbase Python API
spiliopoulos/Coq_playground
spiliopoulos/coquille
Interactive theorem proving with Coq in vim.
spiliopoulos/csi-scripts
Repo for various non production related scripts used in CSI team.
spiliopoulos/data-structures
simple implementations of data-structures
spiliopoulos/datadog-agent
Datadog Agent
spiliopoulos/datadog-operator
Datadog Agent Kubernetes Operator
spiliopoulos/delegator.py
Subprocesses for Humans 2.0.
spiliopoulos/geckodriver
WebDriver <-> Marionette proxy
spiliopoulos/HowTos
A collection of HowTos
spiliopoulos/integrations-core
Core integrations of the Datadog Agent
spiliopoulos/opencv
Open Source Computer Vision Library
spiliopoulos/packages
Packages Repository
spiliopoulos/pipenv
Sacred Marriage of Pipfile, Pip, & Virtualenv.
spiliopoulos/pipfile
spiliopoulos/pocketcasts_web_player_extension
Extends the pocketcast web player with missing functionality like playing all episodes
spiliopoulos/rq
Simple job queues for Python
spiliopoulos/rust_mozrunner
Rust library for launching Mozilla products
spiliopoulos/selenium
A browser automation framework and ecosystem.
spiliopoulos/selenium-python-package
spiliopoulos/slack-black-theme
A darker, more contrasty, Slack theme.
spiliopoulos/source
Mirror of https://git.lede-project.org/?p=source.git Please send your PRs against this tree. They will be merged via staging trees and appear in this tree once the staging trees get merged back into source.git
spiliopoulos/tmux-config
The tmux config I use
spiliopoulos/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
spiliopoulos/vim-config
The Vim config I use
spiliopoulos/xmonad-config
My xmonad and xmobar configuration, plus necessary scripts to make things more usable.
spiliopoulos/zsh-config
The zsh config I use