4 ms·
+1. For those wondering what the connection is: Ogma generates Copilot code, which you can compile to Arduino. But you can also of course write Copilot code dir
by ivanperez-keera 5y ago
+1. For those wondering what the connection is: Ogma generates Copilot code, which you can compile to Arduino. But you can also of course write Copilot code directly.
- sitkack 5y agoThank you for such a wonderful readme!
- ivanperez-keera 5y agoThat's very kind of you! I do try to make my READMEs very clear, so I'm glad someone noticed! :)
- i_don_t_know 5y agoI find this space fascinating. Can you recommend books or other resources to learn more about hard real-time systems, modeling and model-checking, and hardware-in-the-loop testing?
- ivanperez-keera 5y agoThat's an excellent question. The truth is that I do not know. What I didn't pick up during my uni studies, I did just through work. I'd love to hear other suggestions that people have. Specifically for the topic of this repo, we have a bunch of papers on Copilot, and related topics (FRP). I generally try to make the papers very accessible. I don't want to spam, but I can add the links if you think that may be interesting.
- i_don_t_know 5y agoI looked around on the Copilot page and found a link to the papers: https://github.com/Copilot-Language/copilot-discussion https://github.com/Copilot-Language/copilot-discussion You might consider adding a Publications or Papers section to the documentation page that links directly to the PDFs. (But the link to the repo is fine too!) Very nice project!