Zar Goertzel's repositories
atpy
Hacky, personalized, experimental fork of "Python Library for PARG ATP Projects". Especially some branches will diverge for conevience of personal experimentation, but feel free to peruse at your own risk.
E_conj
E conjecturing benchmark based on Mizar40
Formal-Ethics-Ontology
Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.
gitignore
A collection of useful .gitignore templates
gsoc
Genprog Prototype
hello-world
Just another repository, mang.
JSON-RPC-Python
Random.org JSON-RPC API (Release 4) Python implementation.
offer-network-thesis
My master's thesis on prototypical offer network simulations
sumo
Suggested Upper Merged Ontology (SUMO)
Wordle
Sketches of Playing with Wordle + Solutions
Misc
Miscellaneous programs and files...
opencog
A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
Project-Euler
My code for Project Euler problems I do.
Random-Daily-Asana
I wanted a service to choose a random number so threw together a script calling Random.org