phlo's repositories
advent-of-code
Advent of Code Submissions.
Language:Python000
ekernel
Custom Gentoo EFI stub kernel updater.
Language:PythonMIT000
fmv-portage
Gentoo repository for software provided by http://fmv.jku.at
Language:Shell000
libmc
Python library implementing concepts presented in KV Model Checking.
Language:Python000
markdown-viewer
Markdown Viewer / Chrome Extension
phlo-portage
Repository containing custom ebuilds.
pycli
Modularized command line tools made easy.
Language:PythonMIT000
qbf4j
An immutable data structure representing quantified boolean formulas.
Language:JavaMIT000
remerge
A quick and dirty binary package host implementation.
Language:ShellMIT000