Wybe
{"title": "Wybe", "logoImg": "bafkreighcdrnqqjmgknuq4pohkqmeiuc3zdbz3eycjniewd6g5omnjntni", "website": "https://github.com/lamg/wybe", "bannerImg": "bafkreifalsk56erv6qxkeq3u2pilg2e2loiqrtvwpyoaib2omjheljwxze", "createdAt": 1744892192853, "userGithub": "lamg", "credentials": {}, "description": "A proof checker embedded in F#'s computation expressions. It implements Dijkstra's predicate calculus and has the objective of bringing formal verification to people without a PhD, specially those writing smart contracts.", "logoImgData": {}, "bannerImgData": {}, "projectTwitter": "lamg_dev"}