Skip to content
View jirkadanek's full-sized avatar
💭
🍻
💭
🍻

Organizations

@NixOS

Block or report jirkadanek

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
156 stars written in Java
Clear filter

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

Java 580 378 Updated Oct 30, 2025

EnvFile 3.x is a plugin for JetBrains IDEs that allows you to set environment variables for your run configurations from one or multiple files.

Java 572 133 Updated Jun 1, 2024

Apache Maven Surefire

Java 448 557 Updated Nov 9, 2025

Make Opensource Easy - tools for synchronizing repositories

Java 422 76 Updated Jun 20, 2022

Jikes RVM (Research Virtual Machine)

Java 417 84 Updated Nov 9, 2022

Build parsers in Java

Java 348 57 Updated Oct 24, 2025

Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM

Java 319 27 Updated Sep 10, 2025

A simple plugin that allows running mypy from PyCharm and navigate between errors

Java 319 16 Updated Jun 23, 2021

An HTTP bridge for Apache Kafka®

Java 317 133 Updated Nov 7, 2025

A Java framework for testing multithreaded code.

Java 309 60 Updated Aug 6, 2017

Lightweight Java Docker client

Java 272 55 Updated Jun 4, 2021

Java Posix layer

Java 246 92 Updated Oct 24, 2025

A distributed task queue worker designed for throughput, parallelism, and clustering.

Java 238 27 Updated Jun 13, 2023

AFL-based fuzzing for Java

Java 237 52 Updated Jan 26, 2020

Haxe plugin for IntelliJ Platform based IDEs (IDEA, Android-Studio)

Java 231 103 Updated Nov 8, 2025

Plugin to declare GoCD pipelines and environments configuration in YAML

Java 209 95 Updated Nov 1, 2025

OpenStack Java SDK

Java 194 195 Updated Nov 15, 2022

EnMasse - Self-service messaging on Kubernetes and OpenShift

Java 191 84 Updated Mar 6, 2023

Automatic instrumentation for 3rd-party libraries in Java applications with OpenTracing.

Java 188 44 Updated Oct 11, 2021

benchmark codes for rpcx, gRPC, Dubbo, Motan

Java 181 48 Updated Sep 20, 2024

Mirror of Apache ActiveMQ Apollo

Java 154 71 Updated Mar 11, 2019

Useful classes for writing automated tests with JUnit 4

Java 142 25 Updated Oct 11, 2023

A simple tool that finds serious bugs in Java exception handler

Java 124 11 Updated Oct 7, 2016

A dynamic symbolic analysis tool for Java

Java 121 42 Updated Jun 2, 2019

Assorted functional-oriented data structures and algorithms for Java.

Java 115 16 Updated Mar 2, 2025

Haxe plugin for IntelliJ Platform based IDEs

Java 113 2 Updated Aug 5, 2017

ConnectBot's SSH library

Java 111 50 Updated Nov 7, 2025
Java 95 14 Updated Dec 5, 2023

Static checker for Java

Java 89 22 Updated Jan 16, 2025