{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/traceforge","name":"traceforge","description":"TraceForge is a model checker for concurrent and distributed programs written in Rust","version":"0.2.1","softwareVersion":"0.2.1","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/awslabs/TraceForge","issueTracker":"https://github.com/awslabs/TraceForge/issues","keywords":["async","message-passing","model-checking","thread","verification"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"author":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"copyrightHolder":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"dateCreated":"2026-03-23","dateModified":"2026-04-14","datePublished":"2026-04-14","copyrightYear":2026,"downloadUrl":"https://static.crates.io/crates/traceforge/traceforge-0.2.1.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/traceforge/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/traceforge/"],"https://www.w3.org/ns/activitystreams#likes":12,"https://forgefed.org/ns#forks":5}