{"library":"ats2-postiats","type":"cli","category":null,"description":"Programming language with formal specification features, providing compilers and tools. Available on Homebrew and apt.","language":"c","status":"active","version":"0.4.2","tags":[],"last_verified":null,"install":[{"cmd":"brew install ats2-postiats","imports":[]}],"homepage":"https://www.cs.bu.edu/~hwxi/atslangweb/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}