Everything Picolisp can do, and more(picolisp.com)

86 points by damir 1 year ago | 8 comments

The CompCert C Compiler(compcert.org)

183 points by nequo 2 years ago | 186 comments

Use KeePassXC to sign your Git commits(code.mendhak.com)

68 points by thunderbong 2 years ago | 20 comments

VeraCrypt: Free open-source disk encryption for Windows, Mac OS X, Linux(veracrypt.fr)

297 points by thunderbong 3 years ago | 145 comments

Stunnel(stunnel.org)

96 points by firesteelrain 9 months ago | 31 comments

Kcgi – minimal CGI and FastCGI library for C/C++(kristaps.bsd.lv)

65 points by Bluestein 13 days ago | 30 comments

Project page for kcgi, a minimal, secure open-source CGI and FastCGI library for writing C/C++ web applications, with a Hello World example.