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)
- 01:57 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#35)
- 12:26 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#34)
04/11/2025
- 01:14 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#33)
04/08/2025
- 09:49 AM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#32)
04/07/2025
- 08:09 PM Курс Функциональное программирование на языке Idris2 - 2025 Wiki edit: Wiki (#31)
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)
Also available in: Atom