Skip to content
View aryx's full-sized avatar
463 followers · 26 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@coccinelle

Block or report aryx

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

6 stars written in Java
Clear filter

openzipkin / zipkin

Zipkin is a distributed tracing system

Java 17,424 3,106 Updated Apr 8, 2026

TNG / ArchUnit

A Java architecture test library, to specify and assert architecture rules in plain Java

Java 3,655 334 Updated Apr 10, 2026

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming

Java 172 10 Updated Apr 8, 2026

colder / phantm

Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

Java 76 11 Updated Apr 12, 2013

nbros / OcaIDE

An OCaml plug-in for Eclipse

Java 37 19 Updated Dec 26, 2015

vladdu / dtangler

dtangler is a set of tools for dependency management and analysis.

Java 6 1 Updated Aug 12, 2010