💡 Key Takeaways

  • Contains 609 records / 12 fields
  • Available for free download in Excel, CSV, and PDF formats
  • Data sourced from: https://github.com/nasa/open-source-catalog

📋 ข้อมูลทั้งหมด

Showing 20 of 609

⚠️ Showing first 20 of 609 records. Download the file for complete data.

Update Date Description Public Code Repo NASA Center Contributors Labor Hours Categories Languages Software License Categories NLP External Link
2014-04-15CODE is a framework for the control and observation of resources, services, and applications. The technology supports the secure and scalable transmission of observed information to other programs, an…https://www.nas.nasa.gov/Resources/Software/Open-Source/code.htmlARCNASA, ARC, Open Source, Data Servers Processing and HandlingCODE-A Software Framework For Control and Observation In Distributed EnvironmentsNASA Open Sourcenlp:numerical control, nlp:distributed processing, nlp:information system, nlp:operating systems (computers), nlp:data transmission, nlp:computer systems design, nlp:dynamic control, nlp:technology ut…https://software.nasa.gov/software/ARC-14672-1
2014-04-15MST offers a simulation framework to support research in autonomy for remote exploration. The system allows developers to test models in a high-fidelity simulation and then evaluate system performance…https://ti.arc.nasa.gov/opensource/projects/mission-simulation-toolkit/ARCNASA, ARC, Open Source, Autonomous SystemsMission Simulation Toolkit (MST)NASA Open Sourcenlp:autonomy, nlp:mathematical model, nlp:distributed processing, nlp:computerized simulation, nlp:systems simulation, nlp:dynamic model, nlp:digital simulation, nlp:simulation, nlp:performance predic…https://software.nasa.gov/software/ARC-14932-1
2014-04-15Livingstone 2 is a reusable artificial intelligence (AI) software system designed to assist spacecraft, life support systems, chemical plants, or other complex systems in operating robustly with minim…https://ti.arc.nasa.gov/opensource/projects/livingstone2/ARCNASA, ARC, Open Source, Autonomous SystemsLivingstone 2 (System for Automated Diagnosis and Discrete Control of Complex Systems) and Skunkworks (Suite of Supporting Development and Runtime Tools)NASA Open Sourcenlp:spacecraft control, nlp:complex system, nlp:failure analysi, nlp:system failure, nlp:artificial intelligence, nlp:software development tool, nlp:life support system, nlp:human-computer interfacehttps://software.nasa.gov/software/ARC-14725-1
2014-04-15Java Pathfinder (JPF) is a model checker for Java. The technology takes a Java program and "executes" it in a way that explores all possible executions/interleavings of the threads in the program. Thi…https://babelfish.arc.nasa.gov/trac/jpf/wiki/install/repositoriesARCNASA, ARC, Open Source, Data and Image ProcessingJava Pathfinder (JPF), Version 2.0NASA Open Sourcenlp:computation, nlp:evaluation, nlp:java (programming language), nlp:mathematical model, nlp:computerized simulation, nlp:software reliability, nlp:computer program integrity, nlp:program verificatio…https://software.nasa.gov/software/ARC-15388-1
2014-04-15CAPO analyzes a Fortran program and inserts OpenMP directives into the code to improve its performance on a parallel machine. The tool relies on accurate inter-procedural data-dependence information c…https://software.nasa.gov/software/ARC-14487-1ARCNASA, ARC, Open Source, Data Servers Processing and HandlingCAPTools-based Automatic Parallelizer Using OpenMP (CAPO)NASA Open Sourcenlp:computation, nlp:information theory, nlp:computerized simulation, nlp:software development tool, nlp:performance prediction, nlp:compiler, nlp:symbol, nlp:fortran, nlp:parallel programming, nlp:pa…https://software.nasa.gov/software/ARC-14487-1
2014-04-15SLAB is a software-based, real-time, virtual acoustic-environment rendering system designed to study spatial hearing in environments such as concert halls, listening rooms, virtual reality, aviation s…https://ti.arc.nasa.gov/opensource/projects/slab-spatial-audio-renderer/ARCNASA, ARC, Open Source, System TestingSound Lab (SLAB), Version 5NASA Open Sourcenlp:real time operation, nlp:game theory, nlp:interactive control, nlp:time dependence, nlp:computer graphic, nlp:virtual reality, nlp:display device, nlp:hearinghttps://software.nasa.gov/software/ARC-14991-1
2014-04-15Libibvpp is a C++ wrapper around libibverbs, which is part of the OpenFabrics software suite.https://ti.arc.nasa.gov/opensource/projects/libibvpp/ARCNASA, ARC, Open Source, Data and Image ProcessingLibibvppNASA Open Sourcehttps://software.nasa.gov/software/ARC-16075-1
2020-08-12Mariana is an algorithm that efficiently optimizes the hyperparameters for support vector machines for regression and classification. It currently uses simulated annealing for optimization but can be…https://ti.arc.nasa.gov/opensource/projects/mariana/ARCN/A, arc-sra-team@mail.nasa.gov, N/A1NASA, ARC, Open Source, Data and Image Processing, usg-artificial-intelligenceMariana: Text Classification SystemNASA Open Sourcegenetic algorithm, regression analysi, optimization, classification, vectors (mathematics), simulated annealing, vector analysi, combinatorial analysi, image classification, algorithmhttps://software.nasa.gov/software/ARC-16070-1
2014-04-15GMP serializes datatypes between XML and ANSI C data structures to support CFD applications. The library currently provides a description of geometric configurations, general moving-body scenarios (pr…https://ti.arc.nasa.gov/opensource/projects/gmp/ARCNASA, ARC, Open Source, Data and Image ProcessingGeometry Manipulation Protocol (GMP) for ComputationalFluid Dynamics (CFD) Applications, Version 1.0NASA Open Sourcenlp:computation, nlp:c (programming language), nlp:computerized simulation, nlp:three dimensional body, nlp:topology, nlp:document markup language, nlp:data structure, nlp:library, nlp:configuration m…https://software.nasa.gov/software/ARC-15193-1
2014-04-15The Constellation PRACA I-1 system is a modified version of an open-source, Web-based defect tracking tool called Bugzilla. Bugzilla allows software developers to document and track outstanding bugs i…https://software.nasa.gov/software/ARC-16033-1ARCNASA, ARC, Open Source, Data and Image ProcessingConstellation PRACA Extension of the Bugzilla ApplicationNASA Open Sourcenlp:evaluation, nlp:distributed processing, nlp:software reliability, nlp:computer program integrity, nlp:software development tool, nlp:programming environment, nlp:program verification (computers),…https://software.nasa.gov/software/ARC-16033-1
2014-04-15nu-Anomica is an anomaly detector that can run faster than traditional OC-SVMs. The technology can handle large training sets and works with a well-defined target function. The program utilizes the OS…https://ti.arc.nasa.gov/opensource/projects/nu-anomica/ARCNASA, ARC, Open Source, Data and Image Processingnu-Anomica (Previously Sparse One Class Support Vector Machines (SOC-SVMs))NASA Open Sourcenlp:education, nlp:functions (mathematics), nlp:computer assisted instruction, nlp:computerized simulation, nlp:target recognition, nlp:set theory, nlp:symbol, nlp:fortran, nlp:target acquisitionhttps://software.nasa.gov/software/ARC-16346-1
2020-09-01SequenceMiner was developed to address the problem of detecting and describing anomalies in large sets of high-dimensional symbol sequences. The technology performs unsupervised clustering (grouping)…https://ti.arc.nasa.gov/opensource/projects/sequenceminer/ARCarc-sra-team@mail.nasa.gov, arc-sra-team@mail.nasa.gov, N/A1NASA, ARC, Open Source, Data and Image Processing, usg-artificial-intelligenceSequenceMiner-Anomaly Detection in Large Sets of High-Dimensional Symbol SequencesNASA Open Source, NASA Open Sourcealgorithm, problem solving, symbol, systems analysi, numerical analysi, load distribution (forces)https://ti.arc.nasa.gov/opensource/projects/sequenceminer/
2014-04-15VERVE is a 3D visualization system that provides situational awareness, science analysis tools, and data understanding capabilities for robotics researchers and exploration science operations. The tec…https://sourceforge.net/p/irg-verve/wiki/VERVE%20Wiki%20Home/ARCNASA, ARC, Open Source, Data and Image ProcessingVisual Environment for Remote Virtual Exploration (VERVE), Version 2NASA Open Sourcenlp:graphical user interface, nlp:interactive control, nlp:computer graphic, nlp:robotic, nlp:scene analysi, nlp:scientific visualization, nlp:graphs (charts), nlp:human-computer interface, nlp:data b…https://software.nasa.gov/software/ARC-16457-1A
2014-04-15NGT is a collection of automated processing tools that can transform raw geospatial raster data from remote sensing instruments into useful cartographic products, including visible image base maps and…https://ti.arc.nasa.gov/tech/asr/intelligent-robotics/ngt/stereo/ARCNASA, ARC, Open Source, Environmental Science (Earth, Air, Space, Exoplanet)Neo-Geography Toolkit (NGT), Version 2NASA Open Sourcenlp:digital technique, nlp:digital data, nlp:remote sensing, nlp:relief map, nlp:geometric rectification (imagery), nlp:mapping, nlp:data processing, nlp:map, nlp:image processing, nlp:data basehttps://software.nasa.gov/software/ARC-16341-1A
2014-04-15IKOS is a kernel for the construction of open-static analyzers based on Patrick Cousot and Radhia Cousot's theory of abstract interpretation, which states that computations can be abstracted and reduc…https://ti.arc.nasa.gov/opensource/ikos/ARCNASA, ARC, Open Source, Data and Image ProcessingInference Kernel for Open Static (IKOS) Analyzers: A High-Performance Static Analysis Engine to Build Automated Code Analysis Tools for the Formal Verification of Critical Software PropertiesNASA Open Sourcenlp:computation, nlp:computerized simulation, nlp:object-oriented programming, nlp:automata theory, nlp:program verification (computers), nlp:mathematical logic, nlp:set theory, nlp:kernel function, n…https://software.nasa.gov/software/ARC-16789-1
2014-04-15RAPID is a software reference implementation framework for remote operations. The technology promotes interoperability between robot software modules and includes a standard programming interface and…https://rapid.nasa.gov/index.htmlARCNASA, ARC, Open Source, Autonomous SystemsRobot Application Programming Interface Delegate (RAPID), Version 2NASA Open Sourcenlp:systems integration, nlp:distributed processing, nlp:human-computer interface, nlp:interoperability, nlp:robotic, nlp:robot, nlp:programming environment, nlp:high speed, nlp:prototype, nlp:graphic…https://software.nasa.gov/software/ARC-16368-1A
2014-11-05PathDroid is an extension of the open sourced Java Pathfinder (JPF) verification framework that supports checking binary Android applications for absence of software defects such as unhandled exceptio…https://ti.arc.nasa.gov/opensource/projects/pathdroid/ARCNASA, ARC, Open Source, System TestingPathDroidNASA Open Sourcenlp:c (programming language), nlp:software reliability, nlp:hardware description language, nlp:software development tool, nlp:program verification (computers), nlp:proving, nlp:hardware, nlp:human-com…https://software.nasa.gov/software/ARC-17293-1
2020-08-12Block GP is a Gaussian Process regression framework for multimodal data, that can be an order of magnitude more scalable than existing state-of-the-art nonlinear regression algorithms. The framework b…https://ti.arc.nasa.gov/opensource/projects/block-gp/ARCK. Bhaduri, N/A, N/A, Q. Zhu, N/A, N/A, N. Oza, N/A, N/A, A. Srivastava, N/A, N/A1NASA, ARC, Open Source, Data and Image Processing, usg-artificial-intelligence, Gaussian, multimodal, RegressionScalable Gaussian Process RegressionNASA Open Sourcecovariance, regression analysi, matrices (mathematics), algorithm, matrix theory, prediction analysis technique, mathematical model, statistical analysi, state vector, multivariate statistical analysihttps://software.nasa.gov/software/ARC-16864-1
2015-03-05Java Pathfinder core system (jpf-core), is a model checker for Java bytecode. The technology takes a binary Java program and executes it in a user configurable way to detect defects such as deadlocks…https://babelfish.arc.nasa.gov/hg/jpf/jpf-coreARCNASA, ARC, Open Source, Data and Image ProcessingJava Pathfinder (JPF) core systemNASA Open Sourcenlp:evaluation, nlp:mathematical model, nlp:computerized simulation, nlp:program verification (computers), nlp:systems engineering, nlp:confidence limit, nlp:performance test, nlp:model, nlp:computer…https://software.nasa.gov/software/ARC-17487-1
2020-09-01Decision trees are commonly used in artificial intelligence and statistical pattern recognition. A tree is "grown" from data using a recursive-partitioning algorithm. IND re-implements parts of existi…https://ti.arc.nasa.gov/opensource/projects/ind/ARCarc-sra-team@mail.nasa.gov, arc-sra-team@mail.nasa.gov, N/A1NASA, ARC, Open Source, Data Servers Processing and Handling, usg-artificial-intelligenceIND 2.1-Creation and Manipulation of Decision Trees from DataNASA Open Sourcetrees (mathematics), pattern recognition, decision theory, artificial intelligence, algorithm, prediction analysis technique, decision making, prediction, machine learning, data acquisitionhttps://software.nasa.gov/software/ARC-14529-1
Source: https://github.com/nasa/open-source-catalog Last updated: 2026-04