cl-ada-generator. Generate Ada 2012 and SPARK 2014 code from Common Lisp

github.com/plops/cl-ada-generator

Problem

Audience

Updates

No founder updates yet. Check back soon.