Project Name	Stars	Most Recent Commit	License	Language
Atpg4sv	7	5 years ago	mit	OCaml
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Z34delphi	6	5 years ago	mit	Pascal
The Z3 Theorem Prover bindings for Delphi

Alternatives To Atpg4sv

Select To Compare

Atpg4sv ⭐ 7

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

most recent commit 5 years ago

Z34delphi ⭐ 6

The Z3 Theorem Prover bindings for Delphi

most recent commit 5 years ago

Suggest An Alternative To ATPG4SV

Alternative Project Comparisons

Atpg4sv vs Z34delphi

Popular Vector Projects

Supabase ⭐ 62,208

The open source Firebase alternative.

dependent packages 2total releases 36latest release March 16, 2020most recent commit 3 months ago

Meilisearch ⭐ 43,235

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

most recent commit 8 days ago

Quivr ⭐ 27,485

Your GenAI Second Brain 🧠 A personal productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic, VertexAI, Ollama, LLMs, that you can share with users ! Local & Private alternative to OpenAI GPTs & ChatGPT powered by retrieval-augmented generation.

most recent commit 3 months ago

Faiss ⭐ 26,486

A library for efficient similarity search and clustering of dense vectors.

dependent packages 26total releases 3latest release April 16, 2019most recent commit 3 months ago

Milvus ⭐ 25,219

A cloud-native vector database, storage for next generation AI applications

total releases 35latest release April 02, 2022most recent commit 3 months ago

Popular Symbolic Execution Projects

Angr ⭐ 7,005

A powerful and user-friendly binary analysis platform!

dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months ago

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

dependent packages 7total releases 310latest release November 19, 2023most recent commit 2 days ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dependent packages 1total releases 3latest release December 23, 2022most recent commit 22 days ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 3 months ago

Popular Computer Science Categories