General

Profile

Alexey Demakov

  • Login: demakov
  • Registered on: 11/10/2009
  • Last connection: 04/23/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

04/12/2025

11:06 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#36)
Alexey Demakov
01:57 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#35)
Alexey Demakov
12:26 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#34)
Alexey Demakov

04/11/2025

01:14 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#33)
Alexey Demakov

04/08/2025

09:49 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#32)
Alexey Demakov

04/07/2025

08:09 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#31)
Alexey Demakov

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

Also available in: Atom