Scenic

https://github.com/berkeleylearnverify/scenic

Scenic is a compiler and scenario generator, implementing a domain-specific probabilistic...

Tokens:40,111
Snippets:684
Trust Score:6
License:BSD-3-Clause
Update:6 days ago
Tokens:
Raw