Let's Graphviz it online

CPU-first LLM inference server on llama.cpp. Runs useful models on free-tier ARM boxes; rewriting the input made it ~6x faster and more accurate than tuning the engine. MIT, benchmarks and failures…

Run your GitHub Actions locally 🚀

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

A CoAP (RFC 7252) implementation in C

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

My Bachelor's thesis in computer science.

Bachelors Thesis project in Comp-sci. WIP

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

State fuzzer for SSH

Code from old Setkia website

Useful CMake Examples

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

A fork of Paramiko - The Python SSHv2 protocol library

A Java library for CBOR, COSE, CWT and mdoc

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

🧱 Describe your site, AI builds it, you own it as Markdown. Snap together Tailwind blocks like Lego — landing pages, blogs, portfolios, docs & more. No AI slop. Free to deploy anywhere 👇

Curated list of project-based tutorials

Assorted functional-oriented data structures and algorithms for Java.

LaTeX resume format

Generic Protocol State Fuzzer

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

🔭 Turning Windows into an environment ready for modern development

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 …

Library for active learning algorithms for register automata

jConstraints abstraction layer for Z3

TLS in pure OCaml