MacTech Network:   MacForge.net  |  Computer Memory  |  Register Domains  |  Printer Supplies  |  Cables  |  iPod Deals  |  Mac Deals

  MacTech Magazine

sponsored by MacTech Magazine

 
 

Browse By:
Database Environment
Development Status
Intended Audience
License
Operating System
Programming Language
Topic
Translations
User Interface

   Programming Language
      Ada
Mac Projects  Mac/nix Projects
Extended View
Projects Per Page: 10 20 50
Sort By:

72 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1   2   3   4   Next


1. 21 Century Math Method Autoprover - Automatic theorem prover and problems solver based on 21 Century Math Method (http://ex-code.com/~porton/math/method.html), a new method which is a replacement of axiomatic method. This future program is to surpass both Mizar and Mathematica.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

2. Ada 95 Booch Components - The Ada 95 Booch Components is a container library, supporting Bags, Collections, Maps, Queues, Rings, Sets, Stacks, and Trees of various flavours, together with supporting utilities.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

3. Ada Class Library - Ada Class Library - an object orientated library for Ada. Text search and replace. Scripting (small tool programs). CGI scripts. Execution of external programs (incl. I/O redirection). Garbage Collection. Extendended Booch Components. CD-Recorder

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

4. Ada Cryptographic Framework (ACF) - The Ada Cryptographic Framework (ACF) is a set of Ada packages that implement the most popular cryptographic algorithms. The main goal of the proyect is to implement a complete set of cryptographic primitives entirely in Ada 95

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

5. Ada Structured Library - This package contains a set of Ada95 container classes, both generic and inheritance based. It also contains a set of utilities, including an abstract I/O interface, a telnet protocol engine, and others.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

6. Ada to GXL - Ada to GXL is a factextractor translating from Ada Source code to the Graph eXchange Language (http://www.gupro.de/GXL/) to support reengineering. The Ada ASIS library and the GNAT compiler will be used for the translation.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

7. Ada-spread - Ada Binding for high performance messaging service http://www.spread.org

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

8. AdaControl - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

9. AdaDoc - AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

10. Adagio - Adagio is a Gnutella2 server which aims to provide a very configurable, highly reliable cross-platform daemon.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

11. AdaMOF - AdaMOF is the mof library for ada progpramming language.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

12. Adaprojet: Ada95 GNU Autotools - A GNAT/Ada95 GNU autotools project generator. Adaprojet quickly setups an entire GNU autools project for Ada with a few simple commands. Adaprojet makes it easy to use the familiar configure, make, and make install with Ada.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

13. AdaStar - Ada 95/2005 Bindings for RDM Embedded Database (Birdstep)

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

14. AdaWorks - A framework for building business applications in Ada2005 feature: plugin loading, configuration management, logging facilities, some operating system dependent functions and a full featured generic database environment (APQ + AwDB).

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

15. Ahven - Ahven is a simple unit testing library for Ada 95 programming language. The source code is fully portable and works with any Ada 95 compiler.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

16. An Ada-binding to OpenGL - This Ada-binding to OpenGL aims at providing the latest OpenGL features in a collection of Ada packages. Hopefully it will evolve into a thick binding if time permits.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

17. Arborvitae - Arborvitae is a library and sample application using Ada Semantic Interface Specification (ASIS) to allow developers to understand the web of source files that are utilized within an analyzed set of Ada packages.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

18. ASIS for GNAT - ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

19. ASTK - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

20. C2Ada - C2Ada is a translator from the C programming language to the Ada programming language.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

72 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1   2   3   4   Next

-->
Click on the cover to
see this month's issue!

TRIAL SUBSCRIPTION
Get a RISK-FREE subscription to the only technical Mac magazine!

Today's Deal


 


©1984-2009 MacTech Magazine. www.mactech.com
Toll Free 877-MACTECH, Outside US/Canada: 805-494-9797

MacTech and MacTutor are registered trademarks of MacTech Magazine. The MacTech logo, the MacForge logo, MacForge,
MacForge.net, Explain It, MacDev-1, THINK Reference, NetProfessional, JavaTech, WebTech, BeTech, LinuxTech, MacTech Central
and the MacTutorMan are trademarks or service marks of Xplain Corporation. Other trademarks and copyrights appearing in this
web site, printing or software remain the property of their respective holders.