Looks similar
COBOL for GCC Development(cobolworx.com)
64 points by pantalaimon | 19 comments
SymPy: Symbolic Mathematics in Python(sympy.org)
237 points by tosh | 114 comments
The CompCert C Compiler(compcert.org)
183 points by nequo | 186 comments
64 points by pantalaimon | 19 comments
237 points by tosh | 114 comments
183 points by nequo | 186 comments