General

Profile

Alexey Demakov

  • Login: demakov
  • Registered on: 11/10/2009
  • Last connection: 03/19/2025

Issues

open closed Total
Assigned issues 19 98 117
Reported issues 23 160 183

Projects

Project Roles Registered on
Functional Programming Manager, Developer 02/03/2020
Курс Функциональное программирование на языке Idris2 - 2024 Manager, Developer, Product Owner 01/19/2024
Курс Функциональное программирование на языке Idris2 - 2025 Manager, Developer, Product Owner 01/27/2025
Minergy Manager, Developer 07/21/2020
Local Support Project Manager 11/24/2009
TSMT: Tools for bounded E-Matching Developer 06/26/2020
тест2 Manager 11/27/2013

Activity

03/15/2025

03:05 PM Курс Функциональное программирование на языке Idris2 - 2025 Revision 712e3aea: [ M, N ] added
Alexey Demakov

03/03/2025

02:20 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#30)
Alexey Demakov
02:07 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#29)
Alexey Demakov
02:06 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#28)
Alexey Demakov
01:52 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#27)
Alexey Demakov
01:33 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#26)
Alexey Demakov
01:28 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#25)
Alexey Demakov
01:27 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#24)
Alexey Demakov
01:27 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#23)
Alexey Demakov
12:42 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#22)
Alexey Demakov

Also available in: Atom