I wonder how many other CIA funded companies have gone public. Gitlab is funded by In-Q-Tel which is CIA's version of ycombinator basically[1][2].

1. https://www.iqt.org/portfolio?&search=gitlab&taxonomy=&tax_i...

2. https://en.wikipedia.org/wiki/In-Q-Tel