Discover @miki208 Open Source projects

Milos (@miki208)

miki208

Stars
4
Global Rank 1,611,161 (Top 56 %)
Followers 4
Following 3
Registered over 12 years ago
Most used languages

C++
50.0 %

PHP
50.0 %
Location 🇷🇸 Serbia
Country Total Rank 1,632
Country Ranking

C++
222

PHP
295

tseitin-transformation

Implementation of Tseitin transformation in C++, including propositional logic lexer and parser.

StravaStatsAppV2

This is a Laravel web app used for running stats calculations based on the activities from the Strava platform. Additionally, it'll be possible to automatically populate activity descriptions with various helpful info and to integrate it to external platforms like Slack.