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
03/03/2025
- 02:20 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#30)
- 02:07 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#29)
- 02:06 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#28)
- 01:52 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#27)
- 01:33 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#26)
- 01:28 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#25)
- 01:27 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#24)
- 01:27 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#23)
- 12:42 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#22)
Also available in: Atom