TLC is an explicit state model checker for specifications in TLA+
Now continued as OculiX — see oculix.org
A fast and lightweight IDE
MyBatis SQL mapper framework for Java
The IDE for competitive programming
The official AWS X-Ray Auto Instrumentation Agent for Java
Java to Closure JavaScript transpiler
Reactive collections based on Rx.Net
GitHub Action for deploying code via rsync over ssh. (with NodeJS)
Git Server with CI/CD, Kanban, and Packages
Diagram and flowchart generation from text similar to markdown
Simplifies the development of creating a JPA-based data access layer
Distributed tracing without code changes
Laravel Pint is an opinionated PHP code style fixer for minimalists.
Java libraries for writing microservices
Cross-platform tool to build, test and package software
A set of tools that keep Java sweet
Automated mass refactoring of source code
Cucumber for the JVM
A cross-platform C# editor and playground
Opal is a Ruby to JavaScript source-to-source compiler
A high performance caching library for Java
JavaScript style guide, linter, and formatter
A tool for refactoring code related to feature flag APIs
Perl5 plugins for IntelliJ IDEA