Skip to content
View zafer-esen's full-sized avatar
1 follower · 4 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
Block or Report

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Type: All
Language
Sort by: Recently starred
Showing results

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

C++ 32 6 Updated Jul 11, 2024

dafny-lang / dafny

Dafny is a verification-aware programming language

C# 2,847 256 Updated Jul 11, 2024

uuverifiers / tricera

TriCera: a model checker for C programs

Scala 18 13 Updated Jun 26, 2024

deech / libclang-static-build

CMake 93 12 Updated Feb 26, 2022

ilevantis / zotero-tiddly

hacks to get zotero and Tiddlywiki working together

JavaScript 17 2 Updated Sep 1, 2023

uuverifiers / eldarica

The Eldarica model checker

Scala 77 21 Updated Apr 28, 2024

yktoo / indicator-sound-switcher

Sound input/output selector indicator for Linux

Python 363 28 Updated Aug 6, 2022