Discover @medovina Open Source projects

Adam Dingle (@medovina)

medovina

Stars
55
Global Rank 319,031 (Top 11 %)
Followers 35
Registered over 13 years ago
Most used languages

OCaml
25.0 %

C#
25.0 %

Python
25.0 %

Java
25.0 %
Location 🇨🇿 Czechia
Country Total Rank 2,398
Country Ranking

OCaml
1

Java
340

C#
725

Python
1,058

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.

MarioAI

Super Mario implementation for experimenting with AI algorithms in Java

ofxstatement-cz-komercni

ofxstatement plugin for CSV files from Komerční banka

breakthrough

strategy game in C#