Open Source Ada Software for Mac - Page 5

The Demonstrations Programs for the Wikibook "Ada Programming".

This is a soccer-themed, 3rd-person 3D sokoban puzzle game. It uses data in a format that is commonly found on the internet. It has undo <u> and restart <r> functions. Comes with many puzzle files, each typically having dozens of "levels". The next <n> and previous <p> keys move between levels. The <Lshft> and <Rshft> keys move between the different puzzle files. The <z> key creates a setpoint (reZero) so that subsequent restarts restore that setpoint. To move the "kicker" use the arrow keys. The objective is to kick all the red and blue balls into the goal nets. Notice that these strange soccer balls roll in two perpendicular directions only! Now with a user adjustable viewpoint! The mouse wheel can let you zoom in on the action! Works on Macs running OS-X and PCs running Windows or GNU/Linux. The proper command to extract the archive and maintain the directory structure is "7z x filename".

The ZLib.Ada is a thick binding to the popular compression/decompression library ZLib http://www.gzip.org/zlib/. ZLib.Ada provide Ada style access to the ZLib C library.

Zada is a Zlib implementation fully in Ada. The advantage of Zada is its unconditional portability: native compiled code, but no need to worry about endianness or 32 bit or 64 bit versions, or bindings, or DLL's, or whatever. So far, the project is dormant, but the realization is a straightforward task using two existing SourceForge projects: 1) Clone the ZLib-Ada thick binding project. 2) Replace the functions having Import pragma in Zlib.Thin (zlib-thin.ads) by native ones. For compression and decompression, just help yourself with the code in Zip.Compress.Deflate and UnZip.Decompress from the Zip-Ada project. This way you get a full-Ada and compatible version of ZLib-Ada. If there is a real interest in Zada, contact us.

Simple or complex game

Menu -Edit -Restart -Quit

Corlpack consists of a library and tools aiming to simplify and accelerate programming of small, scientific, computational applications. One of the planned features is the loading and saving of a variety of research data into a single generic data structure, that is much like the named list from R, thus removing the need to learn many data access APIs.

Cryptfile employed cryptographic primitives in an unsafe way. If you have files protected with Cryptfile, please migrate them to Sidony, Truecrypt, or another secure tool.

Dequesterity [dek-ster-i-tee] is an assortment of deque/buffer generics written in Ada 2005 that consist of building blocks that may be combined in various ways to create higher abstraction buffers.

a new runtime core platform

Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]

Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations)

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.

Self chess learning process by artificial neural network white random attribution to of values of chess game, before to pass opposed value to neural network and the desire successor of board with various part of game chess generated with minimax algorithm.

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. Now with mouse wheel zoom (2-finger swipe on MacBooks). Includes a smaller 2x2x2 version called SevenSlider. Works on Windows, Macs running OS-X and PCs running GNU/Linux. The proper command to extract the archive and maintain the directory structure is "7z x filename".

ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.