Download JAR files tagged by focuses with all dependencies

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.

BRAP is a Java and Android remoting protocol that uses native Java object serialization, encapsulated in HTTP. It aims to be an alternative to Spring HttpInvoker and Spring Security especially when you don't need or want the dependencies of Spring in your client, for example when building a rich client app or an Android app where size is important. The authentication mechanism lets you use your own domain objects as credentials. Server configuration can be expressed solely in web.xml or by subclassing the ProxyServlet but there is also an optional SpringProxyServlet available for seamless Spring Integration. BRAP focuses on being easy to use, small in size (9 kb), yet powerful and extensible. The client uses a pluggable TransportProvider with default implementations for HttpURLConnection and Apache HttpClient.

The Jentity framework attempts to provide the Java platform with more powerful building blocks for integrating objects and components. The framework focuses on the challenge of maintaining consistent data or state in a dynamic environment. This is achieved by provide reusable, extensible objects, that can use to construct higher order structures like components, applications and systems. Examples of concrete problems that can be effectively solved by using the Jentity framework, are shared models, distributed models, MVC constructs.

Kanbanery (https://kanbanery.com) is a simple but powerful Agile project management system, to be precise it focuses around the idea of Kanban, a somewhat near idea to SCRUM but with less strict rules. The heart of each Kanban flow is the Kanban board, IceBox and Archive - there are all easy accessible via this API. Janbanery wraps around the RESTful API delivered by Kanbanery while adding some more features like mass operations or filtering of results. In the end, it's very easy and pleasant to implement your own Kanbanery client be it on the desktop, mobile (android) or as for example Gradle / SBT script to take full advantage of kanbanery's features.