Pinned Repositories
dissertation
Dissertation in Philosophical Logic, "Indeterminacy and Logical Atoms"
gameon
Terminal backgammon
GoTableaux
(Retired) A multi-logic tableaux proof generator.
moon-unit
robotic telescope project
naics
NAICS codes
postfix-tools
postwhite
Script for generating a whitelist for Postfix's Postscreen based on large senders' SPF records
pytableaux
multi-logic proof generator
quale-dev-i18n
extraction util for gettext-po i18n files
serial-device-metrics
Read and publish Prometheus metrics from serial devices
owings1's Repositories
owings1/pytableaux
multi-logic proof generator
owings1/GoTableaux
(Retired) A multi-logic tableaux proof generator.
owings1/gameon
Terminal backgammon
owings1/serial-device-metrics
Read and publish Prometheus metrics from serial devices
owings1/dissertation
Dissertation in Philosophical Logic, "Indeterminacy and Logical Atoms"
owings1/moon-unit
robotic telescope project
owings1/naics
NAICS codes
owings1/postfix-tools
owings1/postwhite
Script for generating a whitelist for Postfix's Postscreen based on large senders' SPF records
owings1/quale-dev-i18n
extraction util for gettext-po i18n files
owings1/quale-core
core nodejs functions
owings1/quale-term
owings1/rgb-controller
owings1/synths
owings1/words