Search Results for "software runtime" - Page 11

ViewPagerIndicator is a library for Android that provides rich, customizable paging indicators (tabs, circles, titles) that integrate with ViewPager from the Android support library (or AndroidX). The point is to give visual feedback for page-swiping content, enhance discoverability of segments, and improve UX for paged content flows like onboarding, photo galleries, or tabbed navigation. The library provides several indicator styles (title, tab, circle, line) and handles wiring to the...

Dagger evaluates file dependencies in a directed-acyclic-graph (DAG) like GNU make, but timestamps or hashes can be used on a per-file basis when evaluating which file nodes are up to date or stale. Use fast timestamp comparisons on large files when hashing is too slow, and hashing on small files. When hashing is used, it's stored in either a text file or sqlite database (in-memory at runtime is optional). Files can be forced as stale or uptodate. Dagger can be used as a building block for a...

Quorra provides a multi-platform Lua API runtime and console for .NET applications.

Quantities.net is a physical quantities library for C#. It performs runtime checking for compatible dimensions in arithmetic operations. it separates the concepts of a dimensioned quantity and a unit, so that units are easily extensible.

ClassyTcl is a dynamically loadable object system for Tcl that is available as a Tcl-only as well as a C implementation. The system is simple, but flexible. Classes and objects are dynamic, and can easily be queried, changed and debugged at runtime.

Translation of RPG/400- (as well as RPG-II/III)- programs to native C++. Runtime-Environment for RPG/400-programs Class-library for RPG/400 programs and datatypes, including high-precision arithmetics

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

DJBeans is an application configuration tool to help developers and administrators to manage application configuration at runtime.

Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

BinaryNotes is the Open Source ASN.1 (Abstract Syntax Notation One) framework for Java and .NET based on annotations/attributes. The framework has the flexible ASN.1 compiler, the runtime library that supports BER, DER and PER, and the Message Queues

QuickProf is a simple runtime performance measurement tool for C++ code. It provides a rough performance estimate with minimal effort. This kind of feedback can be invaluable to developers who want to optimize performance where it matters.

RDI is a library that gives your application the ability to install its dependencies at runtime. Perfect for plugins oriented architectures. Many kind of deps: RPMs, DEBs, .so, .dll, RubyGems... Easily extensible to new kinds.

Compiler optimization for code that AI generates, reuses similar substrings of code to exponentially reduce the Big-O of compile. At runtime, CodeTree objects breed, rename vars, mutate code and run it instantly. For any realtime compilable language.

This pseudo-class for JavaScript lets you create, extend and inherit objects as classes. This allows you to build new objects from other instances, that can mutate and change their state or behaviour at runtime.

Tahini loads Swing layout from an XML file at runtime and links it with a controller object. The widgets are described in simple, concise XML, and only your application code is in your source file. Tahini takes care of connecting members and listener

A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

A framework and runtime environment for exploring agent-based models designed to support the definition of models using an expressive, high-level and extensible Java API and to support the exploration of these models in both interactive and batch mod

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

MobJeX is a container based framework that transparently adds adaptation capability to Java SE and ME (Personal Profile) applications, by providing runtime migration and dynamic swapping of application objects.

metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/

Simple Java api for Internationalization (i18n) support. Features: pluggable localization loading, remapping resources at deploy time, different locales for logging and application messages, dynamic locale switching, multiple locales in one runtime.

Javaruntype is a library which offers a runtime objectual representation of the Java type system

GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.

Chaplin is a Java class transformer which brings some modern language concepts into Java(TM): For example: contexts, composites, traits (mixins), runtime type conversion, dynamic method signatures, method and field aggregators etc.