SPARK Tetris on the Arduboy | The AdaCore Blog - discu.eu

Reddit

Formally proven tetris on the Arduboy miniature game platform http://blog.adacore.com/spark-tetris-on-the-arduboy 9 comments 20/3/2017 programming

SPARK Tetris on the Arduboy http://blog.adacore.com/spark-tetris-on-the-arduboy 3 comments 20/3/2017 ada

Linking pages

SPARKZumo Part 1: Ada and SPARK on Any Platform | The AdaCore Blog https://blog.adacore.com/sparkzumo-part-1-ada-and-spark-on-any-platform 1 comment

Linked pages

Arduboy http://www.arduboy.com 294 comments
Make with Ada: Formal proof on my wrist | The AdaCore Blog http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist 37 comments
Unity & Ada | The AdaCore Blog http://blog.adacore.com/unity-ada 24 comments
Tetris in SPARK on ARM Cortex M4 | The AdaCore Blog http://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4 0 comments
FOSDEM 2017 - Prove with SPARK: No Math, Just Code https://fosdem.org/2017/schedule/event/spark/ 0 comments

Related searches:

Search whole site: site:blog.adacore.com

Search title: SPARK Tetris on the Arduboy | The AdaCore Blog

See how to search.

Submit link to: