{"name":"ott","summary":"Tool for the working semanticist","description":"Ott is a tool for writing definitions of programming languages and\ncalculi. It takes as input a definition of a language syntax and\nsemantics, in a concise and readable ASCII notation that is close to\nwhat one would write in informal mathematics. It generates LaTeX to\nbuild a typeset version of the definition, and Coq, HOL, and Isabelle\nversions of the definition. Additionally, it can be run as a filter,\ntaking a LaTeX/Coq/Isabelle/HOL source file with embedded (symbolic)\nterms of the defined language, parsing them and replacing them by\ntarget-system terms.","homepage_url":"http://www.cl.cam.ac.uk/~pes20/ott","license":"BSD-3-Clause","attribute_paths":["ott"],"releases":[{"version":"0.34","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ott","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/1x3xidm02ha55fli3flnsd9gj1m48g52-ott-0.34","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ott","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/l6v241kkh1h6v4i9bcwgrlnj9axnv8i7-ott-0.34","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ott","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/anhwhjfkk8fs2bhsm4xv8fcrh34hjvda-ott-0.34","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ott","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4g1zswrfbc0glmz6i6snw6i57gfd97mm-ott-0.34","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.33","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ott","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/b7bybayini9ffvqw3hi8qqz1sj6bs7d8-ott-0.33","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ott","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/dmh0z6q8q3akrcxlnrffmfpjlkxc1k79-ott-0.33","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ott","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/h5m4caxzbhlsxv3xv66hwdp7f25kpw84-ott-0.33","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ott","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/9pryhr3a7pfsqzp4qcv382zjc6911ghh-ott-0.33","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.32","last_updated":"2023-01-22T04:32:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ott","commit_hash":"ef479383e13698c8d5ccf8a608485dc8ce1d4f80","date":"2023-01-22T04:32:11Z","outputs":[{"name":"out","path":"/nix/store/ivywkjcinr0rs24in21485zwrx57masy-ott-0.32","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ott","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/f7n4l9jnm6l413m3njch486mmh7v69dp-ott-0.32","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ott","commit_hash":"ef479383e13698c8d5ccf8a608485dc8ce1d4f80","date":"2023-01-22T04:32:11Z","outputs":[{"name":"out","path":"/nix/store/21h75hma6qa4q51wg0fn6zshfs90wsbc-ott-0.32","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ott","commit_hash":"2d38b664b4400335086a713a0036aafaa002c003","date":"2023-01-17T09:21:52Z","outputs":[{"name":"out","path":"/nix/store/wn0bvk28qxn0y86ylj2zq1al0ld1773r-ott-0.32","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.31","last_updated":"2022-05-09T14:04:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ott","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/drmqpxdanzwnwpv147nxyk39rqylwc4d-ott-0.31","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ott","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/8wc9bcyxbqai5iip64kznj41m1v1gga9-ott-0.31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ott","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/maf8wax1swyr9hmwjsc6q8p8q0wpjlj6-ott-0.31","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ott","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.30","last_updated":"2020-08-30T16:47:05Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ott","commit_hash":"4aa5466cbc741097218a1c494a7b832a17d1967d","date":"2020-08-30T16:47:05Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}