Pinned Repositories
axtls-8266
axTLS port for ESP8266
bconf
A parser for a bash-based configuration system used by old Linux kernel versions
bubblepop
checkedc-clang
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
fsevent-tools
Filesystem event tools for OS X in the style of the inotify-tools
kconfig_case_studies
Kconfig case studies
kmax
A collection of analysis tools for Kconfig and Kbuild constraints.
podcasts
scripts to download podcasts
superc
(Moved to https://github.com/appleseedlab/superc/) The SuperC and xtc projects
paulgazz's Repositories
paulgazz/kmax
A collection of analysis tools for Kconfig and Kbuild constraints.
paulgazz/podcasts
scripts to download podcasts
paulgazz/superc
(Moved to https://github.com/appleseedlab/superc/) The SuperC and xtc projects
paulgazz/kconfig_case_studies
Kconfig case studies
paulgazz/axtls-8266
axTLS port for ESP8266
paulgazz/bconf
A parser for a bash-based configuration system used by old Linux kernel versions
paulgazz/bubblepop
paulgazz/checkedc-clang
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
paulgazz/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
paulgazz/fsevent-tools
Filesystem event tools for OS X in the style of the inotify-tools
paulgazz/gcc
paulgazz/ghtorrent.org
The GHtorrent project website
paulgazz/makeslice
paulgazz/minima
Minima is a one-size-fits-all Jekyll theme for writers.
paulgazz/scikit-learn
scikit-learn: machine learning in Python
paulgazz/splc18challengecase
Instructions for the SPLC 18 challenge case
paulgazz/sqlite
Official Git mirror of the SQLite source tree
paulgazz/sudoku
paulgazz/synapse
Synapse: Matrix reference homeserver
paulgazz/timesheet
A painless command-line time-tracker with easy, intuitive feedback