Skip to content
View zafer-esen's full-sized avatar
2 followers · 4 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report zafer-esen

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

Showing results

d3sformal / hornix

C++ 2 1 Updated Nov 18, 2025

sharkdp / hyperfine

A command-line benchmarking tool

Rust 26,823 435 Updated Nov 21, 2025

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

C++ 48 8 Updated Nov 25, 2025

dafny-lang / dafny

Dafny is a verification-aware programming language

C# 3,209 291 Updated Nov 25, 2025

uuverifiers / tricera

TriCera: a model checker for C programs

Scala 26 13 Updated Nov 25, 2025

deech / libclang-static-build

CMake 102 13 Updated Feb 26, 2022

ilevantis / zotero-tiddly

hacks to get zotero and Tiddlywiki working together

JavaScript 18 2 Updated Sep 1, 2023

uuverifiers / eldarica

The Eldarica model checker

Scala 98 26 Updated Nov 25, 2025

yktoo / indicator-sound-switcher

Sound input/output selector indicator for Linux

Python 396 29 Updated Aug 21, 2024