Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Verifast

Research prototype tool for modular formal verification of C and Java programs
Stars
324
License
other
Open Issues
89
Most Recent Commit
3 months ago
Programming Language
Rust
Categories
Repo
Alternatives To Verifast
Select To Compare
Vim ⭐ 34,054
The official Vim repository
total releases 1,494most recent commit 3 months ago
Manifest ⭐ 7,240
Component for reading phar.io manifest information from a PHP Archive (PHAR)
dependent packages 13total releases 8most recent commit a year agopackagist phar-io/manifest} Downloads
Mesos ⭐ 5,160
Apache Mesos
most recent commit 3 months ago
Sqlite ⭐ 5,070
Official Git mirror of the SQLite source tree
total releases 1most recent commit 3 months ago


Suggest An Alternative To verifast
Popular Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive
Related Searches
Archive Ocaml

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