Use fstar.exe to verify Pulse code and interpret the errors reported
fstarlang
cli
free
Others in the same category, ranked by how often they are opened.