Tool support for the Z formal notation
Socket.IO server implemented on Java
Perl5 plugins for IntelliJ IDEA
Build Anything Sync Anywhere
Git Server with CI/CD, Kanban, and Packages
TLC is an explicit state model checker for specifications in TLA+
Keep your code spotless
A high performance Java RPC framework
The Leading Security Assessment Framework for Android
Runtime code generation for the Java virtual machine
Continuous inspection
Framework for building GraalVM-enabled command line apps
Annotation processor to create immutable objects and builders
RStudio is an integrated development environment (IDE) for R
Fast dependency injector for Android and Java
A configuration as code language with rich validation and tooling
TestNG testing framework
jsii allows code in any language to naturally interact with JavaScript
MyBatis SQL mapper framework for Java
Gradle plugin for constructing linux packages
The Enterprise-ready testing and specification framework
Apache Drill is a distributed MPP query layer for self describing data
Java Concurrency Tools for the JVM
Java based open source static site/blog generator for developers
Micronaut Application Framework