jcranch/octrees
a Python implementation of the octree data structure and supporting algorithms
webstore is a web-api enabled datastore backed onto sql databases especially sqlite. It supports the RESTful JSON APIs standard to nosql dbs like CouchDB, MongoDB, Riak but with the power, reliability and familiarity of SQL and RDBMS.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
a Python implementation of the octree data structure and supporting algorithms
Tools for using the UK train data available at data.atoc.org (Python)
Homotopy type theory in Agda
Miscellaneous Agda code