LORE: La Place Oracle for Resource Estimation

Static analysis research project where I attempt to solve The Halting Problem for a subset of useful programs using discrete Z-domain transforms, in Clojure.