Versions
Description
Scenic is a domain-specific probabilistic programming language for modeling the environments of cyber-physical systems.
Repository
https://github.com/BerkeleyLearnVerify/Scenic.git
Project Slug
scenic-lang
Last Built
10 hours, 52 minutes ago passed
Maintainers
Badge
Tags
Project has no tags.
Short URLs
scenic-lang.readthedocs.io
scenic-lang.rtfd.io
Default Version
latest
'latest' Version
main
