
SPARK



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 |

Ada 2012 Compiler



GNAT_GCC Mac OS X



5.1.0



4.9.1

gnatfe - Front End


Name | Value |
---|---|
Repository | SourceForge |
Copyright | FSF |


SWIG
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 |

MacPorts

mingw
Name | Value |
---|---|
Copyright | Martin Krischik |
Copyright | Jeffrey Creem |
Copyright | Jean-loup Gailly |
Copyright | FSF |

OpenBSD
Name | Value |
---|---|
Copyright | FSF |
Copyright | Florida State University (FSU) |

OpenVMS

Solaris
Name | Value |
---|---|
Copyright | Jeffrey Creem |

RPM
Name | Value |
---|---|
Copyright | Martin Krischik |
Copyright | FSF |

Tools
Name | Value |
---|---|
Copyright | Martin Krischik |
Copyright | Aaron Cornelius |
Copyright | Yegappan Lakshmanan |
Copyright | Simon Wright |

Scripts
Name | Value |
---|---|
Copyright | Martin Krischik |

IDE

Apple OSX

Windows




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 |