current best version of librelink so far

draft of attempted paper about FOL, difficult though

WIP, developing an Ontologica-style ontology (something like "reified / higher-order / first-order predicate logic, for now...) for "tasks" which could be used in to-do apps

An example of how to automate interaction with an Android app and why it's useful (i.e., bidirectional data syncing, ETL)

Just some experimenting and thinking.

Transient repo, trying to think about Haskell

Focusing purely on the functional model of the Ontologica engine.

Ontology engine for Python.

Attempt to generate theories and classify them.

Web crawling tutorial.

Personal profile and site.