gidzk

John's repositories

My homepage yo

Language:JavaScript100

A small weatherApp using OpenWeatherApp API, OWMs JavaAPI.

Language:Java1 10

Balanced search tree named after Arne-Andersson.

Language:Haskell010

A cool game for kidz, because we are cool kids (also a bachelor's thesis project).

Language:C#010

Side-project in development to learn android development environmnent.

Language:Java010

school project: a formally verificated tokeneer system built in dafny

010

Language:C++010

Sideproject under development: a yatzy game for android, not finished,

Language:Java000