web analytics
Ada Forge - Developer Tools
Ada Developer Tools
Tools libraries are identified by a logo to distinguish between GPL, LGPL and BSD, MIT, … licenses.

About the licenses jungle, look at our OpenSource Licenses page.

Stacks Image 633
Click on the item to go to the details.
Imagemap
Tools SPARK Modeling UML IDE Apple OSX Eclipse Unix/OSX Windows Analyse Code Doc Code Quality ASIS Ada for JVM Ada 2012 Compiler Ada for CLI/.Net/Mono Build
hide
Tools
hide
SPARK
hide GPLv3 button_ok
Attributes
Name Value
Repository Open-Do
Copyright AdaCore
Copyright Altran UK
Copyright Praxis
Copyright FSF
Copyright David Mentré
Copyright Peter C. Chapin
Copyright Reto Buerki
Copyright Adrian-Ken Rueegsegger
Copyright Brian Gerkey
Copyright Andrew Howard
Copyright John McCormick
Copyright Ian Schulze
Copyright Nicole Hurley
Copyright Nancy Mai
Copyright Nathan Brown
Copyright US. gov NSA
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Ada for JVM
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Ada 2012 Compiler
hide button_ok
hide
GNAT_GCC Mac OS X
leaf LGPLv3 button_ok
5.1.0
leaf LGPLv3 button_ok
4.9.1
leaf
gnatfe - Front End
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide smily_bad
Attributes
Name Value
Repository SourceForge
Copyright FSF
leaf GPLv3
SWIG
Attributes
Name Value
Copyright Jérôme Delcourt
Copyright Larry Wall
Copyright Jean-loup Gailly
Copyright Mark Adler
Copyright John Lenz
Copyright University of Chicago
Copyright X Consortium
Copyright Anthony J. Seward
Copyright chromatic
Copyright Michael G Schwern
Copyright FSF
leaf
MacPorts
leaf
mingw
Attributes
Name Value
Copyright Martin Krischik
Copyright Jeffrey Creem
Copyright Jean-loup Gailly
Copyright FSF
leaf
OpenBSD
Attributes
Name Value
Copyright FSF
Copyright Florida State University (FSU)
leaf
OpenVMS
leaf
Solaris
Attributes
Name Value
Copyright Jeffrey Creem
leaf
RPM
Attributes
Name Value
Copyright Martin Krischik
Copyright FSF
leaf
Tools
Attributes
Name Value
Copyright Martin Krischik
Copyright Aaron Cornelius
Copyright Yegappan Lakshmanan
Copyright Simon Wright
leaf
Scripts
Attributes
Name Value
Copyright Martin Krischik
hide
Ada for CLI/.Net/Mono
leaf button_cancel
Attributes
Name Value
Repository SourceForge
Copyright Martin C. Carlisle
hide
Modeling
hide
UML
leaf BSD button_ok
Attributes
Name Value
Repository forge.ada-ru.org
Copyright Vadim Godunko
hide
IDE
hide
Apple OSX
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
Copyright Felix Krause
hide
Eclipse
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf Eclipse help
Attributes
Name Value
Repository SourceForge
Copyright Martin C. Carlisle
hide
Unix/OSX
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Windows
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf GPLv3 button_ok MIT
Attributes
Name Value
Repository SourceForge
Copyright David Botton
Copyright Matthew J Heaney
Copyright Regents of the University of California
Copyright Jeffrey Creem
Copyright Falk Maier
Copyright Gautier de Montmollin
Copyright Intermetrics
leaf GPLv3 button_ok
Attributes
Name Value
Repository SourceForge
Copyright Martin C. Carlisle
Copyright David Botton
Copyright James Hopper
Copyright Michael B. Feldman
Copyright FSF
hide
Analyse Code
hide
Code Quality
leaf LGPLv3 button_ok
Attributes
Name Value
Repository SourceForge
Copyright Jean-Pierre Rosen
hide
ASIS
leaf LGPLv3 GPLv3 smiley-neutral
Attributes
Name Value
Repository SourceForge
Copyright Adacore & al
Copyright AdaLog
Copyright Jean-Pierre Rosen
Copyright Thomas Wolf
Copyright Jean-Charles Marteau
Copyright Serge Reboul
Copyright FSF
leaf GPLv3 button_ok
Attributes
Name Value
Repository SourceForge
Copyright Simon Wright
Copyright FSF
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Build
leaf GPLv3 button_ok
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore

Tools and plug-ins are identified with a color to distinguish between GPL, LGPL and MIT/Apache/… licenses.