Skip to content
View hannesm's full-sized avatar
💭
🐫 🚲
💭
🐫 🚲
454 followers · 83 following

Organizations

@mirage @ocaml @mirleft @isakmp

Block or report hannesm

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

9 stars written in Java
Clear filter

frohoff / ysoserial

A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

Java 8,842 1,853 Updated Dec 4, 2025

julian-klode / dns66

DNS-based Host Blocker (and lightweight ad blocker) for Android

Java 2,235 208 Updated Mar 2, 2026

gggard / AndroidCaldavSyncAdapater

Caldav synch adapter for Android

Java 250 86 Updated Nov 20, 2013

subgraph / Orchid

Java 223 87 Updated Nov 22, 2017

m4dc4p / icfp2010

ICFP 2010 Programming Contest

Java 7 1 Updated Jun 21, 2010

hannesm / FlowGraphVisualization

flow graph visualization, java part

Java 1 Updated Nov 30, 2011

hannesm / KopitiamAspects

weaving of eclipse Java parser to accept custom JDT syntax for proof script

Java 1 Updated Sep 17, 2013

hannesm / DependencyBrowser

java side

Java 1 Updated Apr 24, 2010

hannesm / EclipseAspect

some tests of eclipse aspects

Java 1 Updated Jul 27, 2012