Search Results for "github-copilot"

11/21/2025 * Official distribution sites for ION and ION-core have moved to GitHub: https://github.com/nasa-jpl/ION-DTN https://github.com/nasa-jpl/ion-core * ION documentation: https://ion-dtn.readthedocs.io/ Download link for new releases (after ION 4.1.2) is posted below. Please report all issues to GitHub. Submissions to this site will not be monitored. ============================= ION development is managed by the Jet Propulsion Lab.

NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at https://github.com/plexil-group/plexil. Documentation is found at https://plexil-group.github.io/plexil_docs. Please use these new locations. PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools. ...

ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. ...