Search Results for "lights out code in java"

Finagle is an extensible RPC system for the JVM, used to construct high-concurrency servers. Finagle implements uniform client and server APIs for several protocols, and is designed for high performance and concurrency. Most of Finagle’s code is protocol agnostic, simplifying the implementation of new protocols. Finagle is written in Scala, but provides both Scala and Java idiomatic APIs. Finagle is a protocol-agnostic, asynchronous RPC system for the JVM that makes it easy to build robust...

The opinionated microservices framework for moving away from the monolith. Lagom helps you decompose your legacy monolith and build, test, and deploy entire systems of Reactive microservices. Lagom is an open source framework for building systems of Reactive microservices in Java or Scala. Lagom builds on Akka and Play, proven technologies that are in production in some of the most demanding applications today. Lagom's integrated development environment allows you to focus on solving business...

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle...