Skip to content
View mvisat's full-sized avatar
36 followers · 7 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

Organizations

@PDKT-Team

Block or report mvisat

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Stars

Showing results

semgrep / semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 15,558 967 Updated Jun 19, 2026

farisv / CJ2020-Final-CTF

Cyber Jawara 2020 Final - Jeopardy CTF problemset

HTML 33 3 Updated Jul 22, 2022

s0md3v / AwesomeXSS

Awesome XSS stuff

JavaScript 5,121 781 Updated Oct 30, 2024

NationalSecurityAgency / ghidra

Ghidra is a software reverse engineering (SRE) framework

Java 69,877 7,660 Updated Jun 17, 2026

caiogondim / bullet-train.zsh

🚄 An oh-my-zsh shell theme based on the Powerline Vim plugin

Makefile 2,841 374 Updated Jul 29, 2024

Z3Prover / z3

The Z3 Theorem Prover

C++ 12,372 1,668 Updated Jun 18, 2026