jcranch/octrees
a Python implementation of the octree data structure and supporting algorithms
Developer Profile
jcranch
Discovered public repositories for jcranch in the GitHub catalog.
jcranch/Trainset
Tools for using the UK train data available at data.atoc.org (Python)
jcranch/HoTT-Agda
Homotopy type theory in Agda
jcranch/agda-stuff
Miscellaneous Agda code
jcranch/HoTT
Homotopy type theory
jcranch/Homotopy
Homotopy theory in Coq.
jcranch/Foundations
Development of the univalent foundations of mathematics in Coq
jcranch/webstore-client
python client library for webstore
jcranch/webstore
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.