David Hildenbrand (@davidhildenbrand)
github

davidhildenbrand

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,285 (Top 16 %)
  • Followers 20
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    C
         50.0 %
    C++
         25.0 %
    Ada
         25.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 19,581
  • Country Ranking
    Ada
         21
    C++
         1,947
    C
         3,750

Top repositories

1

drob

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

SnakeAda

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

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

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

kstream

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