aBathologist
AKA @shonfeder Seeking kinder ways of being through collaborations in philosophy, programming, formal methods, pedagogy, & poetics. Allophilia + Synechis
@keymeNY, NYC
Pinned Repositories
aBathologist.github.io
My site
algorithms
borgmanities
A short-lived twitter bot in Haskell (and a bit of Python)
loprog
make_env
Set of functions to setup an isolated python and shell environment for TIC
nlangnyc.github.io
tildetown_ring
a ~ring for tilde.town
protelog
Experiments with prolog sugar and langauge extensions — cf. "proteus"
sml-utils
A nascent, in progress library of utility modules for SML (compatible with, and using extensions offered by SML/NJ)
tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
aBathologist's Repositories
aBathologist/tildetown_ring
a ~ring for tilde.town
aBathologist/borgmanities
A short-lived twitter bot in Haskell (and a bit of Python)
aBathologist/aBathologist.github.io
My site
aBathologist/algorithms
aBathologist/loprog
aBathologist/make_env
Set of functions to setup an isolated python and shell environment for TIC
aBathologist/nlangnyc.github.io
aBathologist/prolog-snippets
Some sparse Prolog code I wrote (and sometime used)
aBathologist/solvuu-build
Solvuu's build system.
aBathologist/stilts
SML On Stilts
aBathologist/swipl-devel
Main development repository
aBathologist/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
aBathologist/vyconf
Software appliance configuration framework
aBathologist/vyos
VyOS 2.0 development repository