Giters
Paolo Masci (pmasci)

pmasci

Geek Repo

2

followers

1

following

4

stars

Company:Analytical Mechanics Associates (AMA)

Location:NASA Langley Research Center

Home Page:https://pmasci.github.io/

Github PK Tool:Github PK Tool

Paolo Masci's starred repositories

DANTi

DANTi: Detect and Avoid application for Manned Aviation

Language:TypeScriptStargazers:2Issues:0Issues:0

daa-displays

Language:TypeScriptLicense:NOASSERTIONStargazers:36Issues:0Issues:0

vscode-pvs

LAR-19642-1: Visual Studio Code Extension for PVS

Language:TypeScriptLicense:NOASSERTIONStargazers:41Issues:0Issues:0

vdm-vscode

Visual Studio Code extension for VDM language support

Language:TeXLicense:GPL-3.0Stargazers:21Issues:0Issues:0