Mikko Aarnos (@mAarnos)
github

mAarnos

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 307,272 (Top 11 %)
  • Followers 4
  • Following 1
  • Registered almost 11 years ago
  • Most used languages
    C++
         50.0 %
    Rust
         50.0 %
  • Location 🇫🇮 Finland
  • Country Total Rank 1,356
  • Country Ranking
    Rust
         73
    C++
         196

Top repositories

1

Hakkapeliitta

A state of the art chess engine written in C++11
C++
30
star
2

Serkr

An automated theorem prover for first order logic.
Rust
28
star