Alexey Demakov
- Login: demakov
- Registered on: 11/10/2009
- Last connection: 01/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
02/20/2025
- 05:37 PM Курс Функциональное программирование на языке Idris2 - 2025 Revision 0fef4acc: [ I ] added
02/18/2025
- 07:40 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#14)
- 07:20 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#13)
- 07:13 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#12)
- 06:51 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#11)
- 06:30 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#10)
- 06:28 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#9)
- 06:25 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#8)
- 06:24 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#7)
- 06:24 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#6)
Also available in: Atom