AKA @shonfeder
Seeking kinder ways of being through collaborations in philosophy, programming, formal methods, pedagogy, & poetics.
Allophilia + Synechis
- NY, NYC
Pinned 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.