NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Aletheia – deterministic COBOL verification for mainframe migrations (github.com)
5 points by HectorBlai 2 days ago | 0 comments
HectorBlai 2 days ago [-]
[dead]
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 13:06:46 GMT+0000 (Coordinated Universal Time) with Vercel.