Ocamlyices Alternatives
Yices SMT solver's binding for the OCaml programming language
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Vim Polyglot | 5,431 | a year ago | 85 | Vim Script | ||||||
| A solid language pack for Vim. | ||||||||||
| Manticore | 3,535 |  | 1 | 1 | a year ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Fstar | 2,522 | 10 months ago | 485 | apache-2.0 | F* | |||||
| A Proof-oriented Programming Language | ||||||||||
| Barf Project | 1,193 |  | 4 | 1 | 5 years ago | 4 | November 24, 2019 | 16 | bsd-2-clause | Python |
| BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework | ||||||||||
| Liquidhaskell | 1,132 | 10 months ago | 32 | December 06, 2023 | 483 | bsd-3-clause | Haskell | |||
| Liquid Types For Haskell | ||||||||||
| Cryptol | 1,091 | 51 | 10 months ago | 20 | June 26, 2023 | 226 | bsd-3-clause | Haskell | ||
| Cryptol: The Language of Cryptography | ||||||||||
| Alive2 | 634 | 10 months ago | 56 | mit | C++ | |||||
| Automatic verification of LLVM optimizations | ||||||||||
| Py2many | 570 | a year ago | 4 | July 15, 2021 | 118 | mit | Python | |||
| Transpiler of Python to many other languages | ||||||||||
| Boogie | 472 |  | 13 | 10 months ago | 89 | December 08, 2023 | 29 | mit | Boogie | |
| Boogie | ||||||||||
| Karl | 300 | 2 years ago | 16 | mit | Python | |||||
| Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019. | ||||||||||
Alternatives To OcamlyicesSelect To Compare
Alternative Project Comparisons
Popular Smt Projects
Popular Software Quality Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Bytecode
Smt