Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Prism

The main development version of the PRISM model checker.
Stars
141
License
gpl-2.0
Open Issues
55
Most Recent Commit
3 months ago
Programming Language
Java
Categories
Site
Repo
Alternatives To Prism
Select To Compare
Jadx ⭐ 37,873
Dex to Java decompiler
total releases 12most recent commit 3 months ago
Yew ⭐ 29,821
Rust / Wasm framework for creating reliable and efficient web applications
dependent packages 202total releases 38most recent commit 20 days agocargo yew} Downloads
Tqdm ⭐ 26,694
:zap: A Fast, Extensible Progress Bar for Python and CLI
dependent packages 15,455total releases 135most recent commit 4 months agopypi tqdm} Downloads


Suggest An Alternative To prism
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Gui
Prism
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.