{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/lambda_mountain","name":"lambda_mountain","description":"Typed Macro Assembler (backed by Coq proofs-of-correctness)","version":"1.16.40","softwareVersion":"1.16.40","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/andrew-johnson-4/-","issueTracker":"https://github.com/andrew-johnson-4/lambda-mountain/issues","keywords":["compiler","interpreter","programming-language"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Assembly"},"maintainer":[{"@type":"Person","name":"andrew-johnson-4","url":"https://github.com/andrew-johnson-4"}],"author":[{"@type":"Person","name":"andrew-johnson-4","url":"https://github.com/andrew-johnson-4"}],"copyrightHolder":[{"@type":"Person","name":"andrew-johnson-4","url":"https://github.com/andrew-johnson-4"}],"dateCreated":"2023-07-02","dateModified":"2024-09-29","datePublished":"2024-09-29","copyrightYear":2023,"downloadUrl":"https://static.crates.io/crates/lambda_mountain/lambda_mountain-1.16.40.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/lambda_mountain/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/lambda_mountain/"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/andrew-johnson-4"}],"https://www.w3.org/ns/activitystreams#likes":7}