Pinned Repositories
ArgSetChainer
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.
chaining
MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.
eprover
Formal-Ethics-Ontology
Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.
iDeal
Programming assignments for iDeal MOOC
mmverify.py
Metamath verifier in Python
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
zariuq's Repositories
zariuq/iDeal
Programming assignments for iDeal MOOC
zariuq/Formal-Ethics-Ontology
Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.
zariuq/ArgSetChainer
zariuq/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.
zariuq/chaining
MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.
zariuq/E_conj
E conjecturing benchmark based on Mizar40
zariuq/enigmatic
zariuq/eprover
zariuq/gitignore
A collection of useful .gitignore templates
zariuq/gsoc
Genprog Prototype
zariuq/hello-world
Just another repository, mang.
zariuq/JSON-RPC-Python
Random.org JSON-RPC API (Release 4) Python implementation.
zariuq/mmverify.py
Metamath verifier in Python
zariuq/offer-network-thesis
My master's thesis on prototypical offer network simulations
zariuq/sumo
Suggested Upper Merged Ontology (SUMO)
zariuq/Wordle
Sketches of Playing with Wordle + Solutions
zariuq/hyperon-experimental
MeTTa programming language implementation
zariuq/hyperon-pln
Hyperon port of PLN
zariuq/metamath-test
Test metamath verification implementations
zariuq/MeTTa-Compiler
Compiler from MeTTa to MeTTa IL
zariuq/metta-wam
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
zariuq/Misc
Miscellaneous programs and files...
zariuq/mm0
Metamath Zero specification language
zariuq/MORK
MeTTa Optimal Reduction Kernel
zariuq/opencog
A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
zariuq/Project-Euler
My code for Project Euler problems I do.
zariuq/pyprove
zariuq/Random-Daily-Asana
I wanted a service to choose a random number so threw together a script calling Random.org