AKA @shonfeder
Seeking kinder ways of being through collaborations in philosophy, programming, formal methods, pedagogy, & poetics.
Allophilia + Synechis
- NY, NYC
Block or Report
Block or report aBathologist
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
shonfeder/sml-utils
shonfeder/sml-utils PublicA nascent, in progress library of utility modules for SML (compatible with, and using extensions offered by SML/NJ)
Standard ML 2
-
shonfeder/protelog
shonfeder/protelog PublicExperiments with prolog sugar and langauge extensions — cf. "proteus"
Prolog 4
-
-
shonfeder/tokenize
shonfeder/tokenize PublicA tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.