GitHub repository: nickrsan/Mantis
Primary language: MATLAB
Description: playground for the development of the forward implementation phase of the NPSAT