Alexey Demakov
- Login: demakov
- Registered on: 11/10/2009
- Last connection: 05/31/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
06/03/2025
- 08:16 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#68)
- 06:48 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#67)
05/31/2025
- 11:49 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#66)
- 11:39 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#65)
- 11:36 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#64)
- 11:32 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#63)
05/30/2025
- 09:03 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#62)
- 08:41 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#61)
- 08:31 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#60)
- 08:29 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#59)
Also available in: Atom