Search Results for "run time java"

Lightweight cross-platform video player (Ada + SDL2 + FFmpeg). Support player for the BlackVideo. Works standalone via CLI or right-click on any video file. Usage Method 1 — Command Line Step 1. Unzip blackvideo-mini-player-v2.3.0.win.zip Step 2. Open the build\ folder, then type cmd directly in the address bar and press Enter — this opens a terminal already in that folder. Alternatively: open Command Prompt anywhere and use cd with the copied path: cd...

The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.

This is NOT another Rubic's Cube. It's a much simpler slider puzzle that is incrementally solvable. A 3x3x3 arrangement of cubelets with the center one missing allows sliding permutations. After a randomization, the goal is to restore the cube to its original configuration based on color and alphabetic hints. Written in Ada and compiles on Windows, OS-X or GNU/Linux. Nice laptop controls and support for Mac Retina displays. Requires OpenGL v3.3, and on Macs a recent version of OS-X. ...

The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) - [AVRAda_Examples](https://github.com/RREE/AVRAda_Examples) Start with the examples (alr get avrada_examples) and Alire will install everything else.

DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by only using manufacturer’s software where the same permission applies).

Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.

...Currently it runs on a Linux based PC (used for concept and unit testing), a PowerPC prototype board with various I/O connectors (used for integration testing) and an Advanced Traffic Controller. SCOPE has the ability to simulate 64 traffic sensors and 8 pedestrian calls. It has several menu options to facilitate real time logging and debugging. SCOPE is easily ported to any platform and has wireless Android Tablet / Java PC interfaces.

A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.

A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi