Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

echosoft

Compare

  Analyzed about 1 year ago

Ada-based Software Engineering: JGNAT is Ada support for Sun Java virtual machine and Open JDK. Echosoft MonAda (TM) is Ada support for Sun DaVinci multilanguage virtual machine. Echosoft Amber (TM) is Ada support for Enlightenment environments. Bioinformatics: Ada-based Echosoft Homology ... [More] Server (TM) performs our MSA Homology Benchmark. Knowledge Engineering: Ada-based Echosoft Eon (TM) is a formal language with tools and Prolog interpreter. [Less]

0 lines of code

0 current contributors

over 8 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: artistic_gpl

BUSH

Compare

  No analysis available

BUSH, the AdaScript Business Shell, is a Linux shell for designing secure, reliable shell scripts that can be later compiled as a fast executable programs. BUSH comes with 10 built-in packages including numerics, string processing, and measurement conversions. (It plays WAV, AU and audio CD's, too.)

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+

Excel Writer

Compare

  Analyzed 8 months ago

Excel_Out is a package to write easily Excel files with basic formattings. Enables the automatic production of reports. Totally portable Ada code, no interaction with Excel.

1.77K lines of code

0 current contributors

about 3 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

Travian Combat

Compare

  No analysis available

Travian Combat is a battle simulator for the on-line strategy game Travian.net. Ada source-code is available at http://www.canalada.org/recursos/Travian_Combat_src.zip

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-3.0+

Ada for NetBeans

Compare

  No analysis available

Ada IDE based on NetBeans. See http://wiki.netbeans.org/Ada for more details.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-3.0+

erigone

Compare

  Analyzed about 1 year ago

The Erigone model checkerErigone is a partial reimplementation of the Spin Model Checker. The goal is to facilitate learning concurrency and model checking. Erigone is single, self-contained, executable file so that installation and use are trivial. Erigone produces a detailed trace of the model ... [More] checking algorithms. The contents of the trace are customizable and a uniform keyword-based format is used that can be directly read or used by other tools. Extensive modularization is used in the design of the Erigone program to facilitate understanding the source code. This will also enable researchers to easily modify and extend the program. Erigone implements a subset of Promela that is sufficient for demonstrating the basic concepts of model checking for the verification of concurrent programs. No language constructs are added so that programs for Erigone can be used with Spin when more expressiveness and better performance are desired. The EUI development environmentEUI is a development environment for use with Erigone. It is an adaptation of the jSpin environment for Spin and can be accessed from the jspin project page (link on in the right-hand panel of this page). The SpinSpider component of jSpin for generating a diagram of the state space is integrated into Erigone. ImplementationErigone is written in Ada 2005 for reliability, maintainability and portability. Before version 2, Erigone used a Promela compiler that was written by Trishank Karthik Kuppusamy, a student at New York University, under the supervision of Edmond Schonberg. This compiler can be accessed from the SVN repository under the branch ErigoneP. Note for Mac users A workaround is needed when Erigone is compiled for "Snow Leopard". An executable file for this system (contributed by Michael Walker) is available on the Downloads page. Archives of Promela models for use with ErigoneThe archives psmc-erigone-N.zip and pcpd-erigone-N.zip contain source programs from my books (Principles of the Spin Model Checker, Springer, 2008. ISBN: 978-1-84628-769-5; Principles of Concurrent and Distributed Programming, Addison-Wesley, 2006. ISBN 0-321-31283-X.) that have been adapted for Erigone. Other relevant softwareDAJ is an interactive execution of distributed algorithms. VN is a tool for visualizing nondeterminism. Links to the projects for these tools are given on the right. [Less]

10.4K lines of code

0 current contributors

over 4 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

acolor

Compare

  Analyzed about 1 year ago

acolor (Ada/ANSI color) is a simple Ada program that makes it easy to color and format output from shell script. It does this by converting combinations of readable arguments (bold, red, green, underline, etc.) into an ANSI escape sequence that your terminal emulator or console may understands. ... [More] It is Moshe Jacobson's color rewritten in Ada. I could not found his source any more, and this ansi-color (http://code.google.com/p/ansi-color/) is done in bash script, a little bit slow on usage. [Less]

372 lines of code

0 current contributors

almost 6 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

RAPID

Compare

  Analyzed 11 months ago

RAPID is the Rapid Ada Portable Interface Design tool. Using RAPID, programmers can easily create a graphical user interfaces (GUIs) for their applications by simply drawing them. RAPID then generates Ada code using a platform independent GUI library. (Current implementations utilize the TASH ... [More] binding to Tcl/Tk, the GNAT to JVM compiler, the Microsoft .NET framework, or GtkAda). Since these are supported on many different platforms (including Windows, Macintosh, and UNIX), the generated GUI will also run on all of these platforms. [Less]

1.61M lines of code

1 current contributors

about 1 year since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: GPL-3.0+, PD/GWC

Ada/Mindstorms

Compare

  No analysis available

Ada/Mindstorms is a programming environment for the Lego Mindstorms RCX kit. It replaces the Mindstorms visual programming language with a programming environment more like conventional computing languages, based on the language Ada.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

lua-ada

Compare

  No analysis available

Ada binding to Lua

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: PD/GWC
Tags ada binding lua