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

14 stars written in C
Clear filter

namhyung / uftrace

Function graph tracer for C/C++/Rust/Python

C 3,369 536 Updated Nov 29, 2025

hashcat / hashcat-legacy

Advanced CPU-based password recovery utility

C 2,237 298 Updated Sep 30, 2022

arminbiere / kissat

C 596 113 Updated Oct 16, 2025

esbmc / esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

C 413 121 Updated Dec 20, 2025

arminbiere / satch

SAT Solver SATCH

C 120 19 Updated Sep 30, 2022

arminbiere / lingeling

Lingeling SAT Solver

C 105 29 Updated Mar 12, 2024

arminbiere / aiger

AIGER And-Inverter-Graph Library

C 94 31 Updated Aug 3, 2025

hwmcc / btor2tools

A generic parser and tool package for the BTOR2 format.

C 45 29 Updated Sep 18, 2025

arminbiere / gimsatul

C 35 6 Updated Jul 28, 2025

arminbiere / runlim

C 16 5 Updated Mar 9, 2024

arminbiere / dualiza

C 6 1 Updated Jul 4, 2021

arminbiere / reticode

C 3 Updated Oct 14, 2024

arminbiere / scranfilize

Tunable Scrambler for CNFs

C 3 2 Updated Mar 3, 2021

arminbiere / satsort

C 3 Updated Apr 7, 2022