davidhildenbrand/SnakeAda davidhildenbrand/SnakeAda

  • Stars
    star
    2
  • Language
    Ada
  • License
    GNU General Publi...
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidhildenbrand/SnakeAda
github

davidhildenbrand

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A very simple and inefficient version of Snake written in Ada/SPARK (gtkada)

More Repositories

1

drob

DROB (Dynamic Rewriter and Optimizer of Binary code)
C++
24
star
2

allen-temporal-logic--seminar-schedule-verifier

Verification of certain constraints of seminar schedules using allen temporal logic and allen temporal networks
C
2
star
3

kstream

kstream - STREAM benchmark inside a Linux kernel module
C
1
star