Vybe Guide
Sign Up

Explore Projects

Discover 8 open source projects

Active filters (1):
Search: smt×
Clear all

Showing 1-8 of 8 projects

Z3Prover/z3

The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.

12.0K
Active
C++
CLI Tools
#theorem-prover#smt-solver#program-analysis

trailofbits/manticore

Manticore is a symbolic execution tool for analyzing the behavior of binary programs, smart contracts, and more.

3.8K
Stable
Python
Testing
Security Research
Python
#binary-analysis#program-analysis#symbolic-execution

FStarLang/FStar

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K
Active
F*
Programming Language
API Frameworks
#dependent-types#smt#theorem-proving

moses-smt/mosesdecoder

This is a machine translation system, not a developer discovery platform for vibe coders.

1.6K
Experimental
Roff
Uncategorized
#machine-translation#natural-language-processing#open-source

ucsd-progsys/liquidhaskell

Liquid Haskell is a verification system that adds dependent types and refinement types to the Haskell language.

1.3K
Active
Haskell
Testing
API Frameworks
Haskell
#haskell#verification#refinement-types

cvc5/cvc5

An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

1.3K
Active
SMT
API Frameworks
SMT Solvers
#smt#theorem-proving#satisfiability

py2many/py2many

A transpiler that converts Python code to multiple target languages, including Dart, Rust, and Go.

1.2K
Active
Python
CLI Tools
API Frameworks
#transpiler#multi-language#code-generation

AliveToolkit/alive2

Automatic verification of LLVM optimizations using symbolic execution and model checking

1.1K
Active
C++
CLI Tools
API Frameworks
#automatic-verification#llvm#llvm-ir

Stay in the loop

Get weekly updates on trending AI coding tools and projects.