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
SPARK 2014 User Link
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 closed
alt-ergo
leaf GPLv3 button_ok
SPARK GPL 2015 User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Ada for JVM
leaf GPLv3 button_ok
AJIS GPL 2015 User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Ada 2012 Compiler
hide button_ok
GnuAda (files) User Link
hide
GNAT_GPL Mac OS X
leaf GPLv3 button_ok
2015-arm-eabi-darwin-bin User Link
leaf GPLv3 button_ok
2015-mavericks for Native Quartz User Link
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
GNAT Ada GPL 2015 User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide smily_bad
GnuAda (svn) User Link
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
ASharp User Link
Attributes
Name Value
Repository SourceForge
Copyright Martin C. Carlisle
hide
Modeling
hide
UML
leaf BSD button_ok
Matreshka User Link
Attributes
Name Value
Repository forge.ada-ru.org
Copyright Vadim Godunko
hide
IDE
hide
Apple OSX
leaf
XCode Plugin
leaf GPLv3 button_ok
GPS (GTK-Quartz) User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf GPLv3 button_ok
GPS for OSX (GTK-Quartz) User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
Copyright Felix Krause
hide
Eclipse
leaf GPLv3 button_ok
Eclipse GNATbench GPL 2015 User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf Eclipse help
IDEADA User Link
Attributes
Name Value
Repository SourceForge
Copyright Martin C. Carlisle
hide
Unix/OSX
leaf GPLv3 button_ok
GPS (GTK-X11) User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Windows
leaf GPLv3 button_ok
GPS (GTK-Win32) User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
leaf GPLv3 button_ok MIT
GNAVI User Link
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
VAD-Visual Ada Developer
Attributes
Name Value
Repository
Copyright Leonid Dulman
leaf GPLv3 button_ok
AdaGIDE User Link
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
Doc
leaf
GnatDoc
Attributes
Name Value
Repository SourceForge
Copyright David Botton
leaf GPLv3 help
AdaDoc User Link
Attributes
Name Value
Repository SourceForge
Copyright Julien Burdy
Copyright Vincent Decorges
leaf
Doxygen User Link
hide
Sphynx User Link
leaf button_ok
AdaDomain
Attributes
Name Value
Repository BitBucket
Author Tero Koskinen
leaf
Dash
hide
Code Quality
leaf LGPLv3 button_ok
AdaControl User Link
Attributes
Name Value
Repository SourceForge
Copyright Jean-Pierre Rosen
hide
ASIS
leaf LGPLv3 GPLv3 smiley-neutral
gnat-asis User Link
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
ASIS2XML User Link
Attributes
Name Value
Repository SourceForge
Copyright Simon Wright
Copyright FSF
leaf GPLv3 button_ok
ASIS GPL 2015 User Link
Attributes
Name Value
Repository Libre.Adacore.com
Copyright AdaCore
hide
Build
leaf GPLv3 button_ok
GNAT GPRBuild User Link
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.