Discover @khovanskiy Open Source projects

Victor Khovanskiy (@khovanskiy)

khovanskiy

Stars
2
Global Rank 2,219,069 (Top 77 %)
Followers 5
Registered over 11 years ago
Most used languages

C
50.0 %

Haskell
50.0 %
Location 🇧🇪 Belgium
Country Total Rank 6,817
Country Ranking

Haskell
59

C
620

verification-course

Верификатор автоматов Харела с помощью LTL формул

haskell-course

Решения задач и контрольных по курсу "Функциональное программирование" кафедры КТ Университета ИТМО