Copilot is an embedded domain-specific language designed by Galois, that allows you to generate assured, embedded C code from programs written essentially as Haskell lists (using Atom as a backend for the C code generation).
Lee Pike has written a tutorial on how to use Copilot to program an Arduino controller to play “Jingle Bells”. Read the full tutorial on Lee's Critical Systems Blog...
Notify me of follow-up comments via email.
Copyright © 2013 Galois, Inc. All rights reserved.
Terms and Conditions