Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Smt Open Source Projects

Open source projects categorized as Smt
Edit Category
sheerun/vim-polyglot ⭐ 5,431
A solid language pack for Vim.
dependent packages 0 total releases 0 most recent commit over 2 years ago
trailofbits/manticore ⭐ 3,535
Symbolic execution tool
dependent packages 0 total releases 0 most recent commit over 2 years ago
FStarLang/FStar ⭐ 2,522
A Proof-oriented Programming Language
dependent packages 0 total releases 0 most recent commit about 2 years ago
openpnp/openpnp ⭐ 1,501
Open Source SMT Pick and Place Hardware and Software
dependent packages 0 total releases 0 most recent commit over 2 years ago
programa-stic/barf-project ⭐ 1,193
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
dependent packages 0 total releases 0 most recent commit over 6 years ago
ucsd-progsys/liquidhaskell ⭐ 1,132
Liquid Types For Haskell
dependent packages 0 total releases 0 most recent commit about 2 years ago
GaloisInc/cryptol ⭐ 1,091
Cryptol: The Language of Cryptography
dependent packages 0 total releases 0 most recent commit about 2 years ago
cvc5/cvc5 ⭐ 894
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
dependent packages 0 total releases 0 most recent commit about 2 years ago
B-Lang-org/bsc ⭐ 850
Bluespec Compiler (BSC)
dependent packages 0 total releases 0 most recent commit about 2 years ago
AliveToolkit/alive2 ⭐ 634
Automatic verification of LLVM optimizations
dependent packages 0 total releases 0 most recent commit about 2 years ago
Get A Weekly Email With Trending Smt Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

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