Pinned Repositories
py-tpcc
Python implementation of TPC-C
conky
Light-weight system monitor for X, Wayland (sort of), and other things, too
mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
cv
Curriculum vitae
git-vss
Script to synchronise a VSS project with a git branch
gruvbox
Retro groove color scheme for Vim
gruvbox-themes-vscode
Visual Studio Code extension including all gruvbox themes.
gruvbox-tvale
Modified version of vim's gruvbox dark color scheme for other applications.
TribuSTM
Java Software Transactional Memory
xkcdesktop
View xkcd comics on your desktop.
tvale's Repositories
tvale/TribuSTM
Java Software Transactional Memory
tvale/xkcdesktop
View xkcd comics on your desktop.
tvale/cv
Curriculum vitae
tvale/git-vss
Script to synchronise a VSS project with a git branch
tvale/gruvbox
Retro groove color scheme for Vim
tvale/gruvbox-themes-vscode
Visual Studio Code extension including all gruvbox themes.
tvale/gruvbox-tvale
Modified version of vim's gruvbox dark color scheme for other applications.
tvale/Legion
The Legion code base.
tvale/libxkcd
Library to navigate xkcd comics.
tvale/py-tpcc
Python implementation of TPC-C
tvale/tinystm
Official public repository for TinySTM (tmware.org)
tvale/tvale.github.io
My website