AlternativeTo Logo

Apps with 'Contract programming' feature

  1. D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity.