thomascothran

Discover and learn the Pavlov behavioral programming library for Clojure/CLJS. Use when you need Pavlov concepts, bthreads/bprogra...

Facilitate iterative domain modeling with Pavlov bthreads. Use only when requested

Model checking for Pavlov behavioral programs. Use when testing Pavlov features, working with existing model-checking tests, or dr...

thomascothran/pomp

thomascothran/pomp

Repair Clojure reader syntax errors caused by unbalanced delimiters ((), [], {}) to fix errors like "EOF while reading", "Unexpect...

thomascothran/pomp

thomascothran/pomp