Adam Dingle (@medovina)
github

medovina

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 35
  • Registered over 13 years ago
  • Most used languages
    Java
         25.0 %
    C#
         25.0 %
    OCaml
         25.0 %
    Python
         25.0 %
  • Location ๐Ÿ‡จ๐Ÿ‡ฟ Czechia
  • Country Total Rank 2,398
  • Country Ranking
    OCaml
         1
    Java
         342
    C#
         819
    Python
         1,079

Top repositories

1

natty

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
OCaml
33
star
2

MarioAI

Super Mario implementation for experimenting with AI algorithms in Java
Java
7
star
3

ofxstatement-cz-komercni

ofxstatement plugin for CSV files from Komerฤnรญ banka
Python
3
star
4

breakthrough

strategy game in C#
C#
1
star