Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy-to-use tool provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
Blinged JSON Validator is a free app to validate JSON files with syntax highlighting, whitespace indentation, error messaging, and hotkeys.
