Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View pfg666's full-sized avatar

Organizations

@protocol-fuzzing

Block or report pfg666

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
Showing results

A C++ library for handling Finite-State Machines, their testing and learning.

C++ 5 3 Updated Sep 18, 2018

My Bachelor's thesis in computer science.

Typst 1 Updated Nov 24, 2025

Bachelors Thesis project in Comp-sci. WIP

Java 1 Updated Apr 15, 2025
Java 1 Updated May 8, 2025

An automated framework for detecting state machine bugs in network protocol implementations.

Java 1 Updated Aug 7, 2025

State fuzzer for SSH

C 1 Updated Jun 11, 2025
C++ 1 1 Updated Apr 27, 2025

Code from old Setkia website

PHP 2 Updated May 14, 2015

Useful CMake Examples

CMake 13,032 2,552 Updated Feb 28, 2024

AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.

Python 1,697 168 Updated Nov 29, 2025

A fork of Paramiko - The Python SSHv2 protocol library

Python 30 9 Updated Oct 28, 2025

A Java library for CBOR, COSE, CWT and mdoc

Java 26 5 Updated Oct 7, 2025

A beautiful, simple, clean, and responsive Jekyll theme for academics

HTML 14,755 12,620 Updated Dec 17, 2025

⚡ HugoBlox: Markdown sites in minutes. Academic/resume/lab/portfolio for AI researchers & startups. Premium templates. Deploy to GitHub Pages now in 1-click 👇

HTML 9,260 2,959 Updated Dec 18, 2025

Curated list of project-based tutorials

253,062 33,070 Updated Aug 15, 2024

Assorted functional-oriented data structures and algorithms for Java.

Java 116 16 Updated Mar 2, 2025

LaTeX resume format

TeX 293 153 Updated Dec 1, 2022

Generic Protocol State Fuzzer

Java 8 6 Updated Dec 20, 2025

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

C 2 Updated Jun 11, 2024

🔭 Turning Windows into an environment ready for modern development

PowerShell 1,407 156 Updated Apr 18, 2023

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …

C 6,349 2,813 Updated Dec 18, 2025
Java 6 3 Updated Dec 8, 2025

jConstraints abstraction layer for Z3

Java 10 9 Updated Oct 6, 2016

TLS in pure OCaml

OCaml 318 71 Updated Sep 26, 2025

An Automata Learning Library Written in Python

Python 204 37 Updated Dec 1, 2025

Fingerprint TLS implementations

Python 2 1 Updated Mar 20, 2024
3 Updated Jan 13, 2021

A free, open-source Java library for automata learning algorithms

Java 221 56 Updated Dec 17, 2025

Eclipse Plugin to paste text as Java string (with escape multi-line) when Ctrl+Shift+V pressed

Java 5 1 Updated Jun 18, 2018
Next