Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sally

A model checker for infinite-state systems.
Stars
56
License
other
Open Issues
18
Most Recent Commit
3 years ago
Programming Language
C++
Categories
Site
Repo
Suggest An Alternative To sally
Popular Transition Projects
Alpine ⭐ 26,023
A rugged, minimal framework for composing JavaScript behavior in your markup.
dependent packages 135total releases 119latest release November 19, 2023most recent commit 3 months agonpm alpinejs} Downloads
Scrollreveal ⭐ 21,857
Animate elements as they scroll into view.
dependent packages 86total releases 72latest release March 05, 2021most recent commit 8 months agonpm scrollreveal} Downloads
Vue Router ⭐ 19,014
🚦 The official router for Vue 2
dependent packages 4total releases 2latest release April 25, 2019most recent commit 4 months agonpm jd-vue-router} Downloads
Popular Smt Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Barf Project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years agopypi barf} Downloads
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
C Plus Plus Transition
C Plus Plus Smt
C Plus Plus Model Checker

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Transition
Smt
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.