Search Results for "linux engineers toolkit"

This is a terminal calculator with a remarkable twist. It uses symbolic differentiation to provide a numerically precise error estimate with each calculated answer. It mimics the functionality of an HewlettPackard ReversePolishNotation [RPN] calculator simply because I like RPN. But along with your answer, you get some measure of its trustworthiness. Runs on PCs or laptops running Windows or Linux.

Agar provides a base GUI framework and a standard set of widgets from which graphical applications can be built which run natively under X11, Windows, MacOS, SDL and others. It takes advantage of texture and GPU acceleration wherever available. Agar can also attach to an existing framebuffer, SDL or OpenGL context and operate as a self-contained window-manager. It includes a standard library of general-purpose widgets, and is also designed to be extended externally. New widgets can be...

Gnoga uses modern web technologies to allow simple creation of cross platform GUIs for Ada with native or custom look and feels that perform on par to native toolsets locally and can be easily and securely remoted as web apps over the internet as well.

Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of...

PNG_IO is an Ada2012 coder/decoder for Portable Network Graphics, allowing Ada2012 programs to read and write PNG files. It is portable across machines and operating systems. It depends on Zlib and Zlib_Ada to perform lossless compression and decompression. Versions prior to v5 were in Ada95.

A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.

Helena is an explicit state model checker for high-level Petri nets.

The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap

Checkstyle4Ada provides an extension to Checkstyle, which enables Checkstyle to be used with Ada95 sources. It is packaged as an Eclipse fragment, so it can be used with eclipse-cs without modification.

ASTK is a development toolkit for Ada network programming. it provides synchronous (Ada Task) and asynchronous (Unix poll) network server frameworks so that programmer can focus on server data following procedure programing.

UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate