Title: wunderspec | specifications as code in Python
Open Graph Title: wunderspec | executable protocol specs in Python
Description: Wunderspec is a Python framework for protocol specs as code with formal-methods foundations, built for protocol engineers, security researchers, and systems architects.
Open Graph Description: Executable protocol specs in Python with formal-methods foundations.
Mail addresses
demo@wunderspec.com
Opengraph URL: https://wunderspec.com/
Domain: wunderspec.com
{
"@context": "https://schema.org",
"@graph": [
{
"@type": "WebSite",
"name": "wunderspec",
"url": "https://wunderspec.com/",
"description": "Executable protocol specs in Python with formal-methods foundations.",
"keywords": [
"executable protocol specs",
"protocol specification framework",
"Python specifications",
"formal methods",
"TLA+",
"Quint",
"FizzBee"
]
},
{
"@type": "SoftwareApplication",
"name": "wunderspec",
"url": "https://wunderspec.com/",
"applicationCategory": "DeveloperApplication",
"programmingLanguage": "Python",
"description": "A Python framework for executable protocol specs with formal-methods foundations.",
"keywords": [
"executable protocol specs",
"protocol specification framework",
"Python specifications",
"formal methods",
"TLA+",
"Quint",
"FizzBee"
]
}
]
}
| og:type | website |
| theme-color | #0b0c0a |
Links:
| [ request access ] -> | https://wunderspec.com/access/ |
Viewport: width=device-width, initial-scale=1