Skip to content
View phlo's full-sized avatar
5 followers · 13 following

Block or report phlo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 results for source starred repositories written in C++
Clear filter

tensorflow / tensorflow

An Open Source Machine Learning Framework for Everyone

C++ 194,327 75,251 Updated Mar 25, 2026

Z3Prover / z3

The Z3 Theorem Prover

C++ 12,088 1,629 Updated Mar 25, 2026

andreasfertig / cppinsights

C++ Insights - See your source code with the eyes of a compiler

C++ 4,477 264 Updated Mar 19, 2026

jeaye / stdman

Formatted C++20 stdlib man pages (cppreference)

C++ 989 52 Updated Jul 6, 2024

arminbiere / cadical

CaDiCaL SAT Solver

C++ 535 173 Updated Mar 24, 2026

murxla / murxla

A model-based API Fuzzer for SMT Solvers.

C++ 16 9 Updated Oct 14, 2025