{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hex/tlx","name":"tlx","description":"A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow","version":"0.5.0","softwareVersion":"0.5.0","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/jrjsmrtn/tlx","issueTracker":"https://github.com/jrjsmrtn/tlx/issues","url":"https://github.com/jrjsmrtn/tlx/blob/main/CHANGELOG.md","programmingLanguage":{"@type":"ComputerLanguage","name":"Elixir"},"maintainer":[{"@type":"Person","name":"jrjsmrtn"}],"author":[{"@type":"Person","name":"jrjsmrtn"}],"copyrightHolder":[{"@type":"Person","name":"jrjsmrtn"}],"dateCreated":"2026-03-31","dateModified":"2026-04-18","datePublished":"2026-04-18","copyrightYear":2026,"downloadUrl":"https://repo.hex.pm/tarballs/tlx-0.5.0.tar","softwareHelp":{"@type":"WebSite","url":"http://hexdocs.pm/tlx/"},"applicationCategory":"hex","runtimePlatform":"hex","developmentStatus":"active","sameAs":["https://hex.pm/packages/tlx/"],"https://www.w3.org/ns/activitystreams#likes":8}