ak3n / urfu-fp-intro-20
☆25Updated this week
Related projects: ⓘ
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- Ваша первая книга о языке Haskell☆261Updated 10 months ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated 11 months ago
- Проводник в мир механических клавиатур☆55Updated 2 years ago
- ☆24Updated 4 years ago
- Automatically exported from code.google.com/p/funprog-ru☆35Updated 9 years ago
- учебник по Haskell☆274Updated last year
- Главный сайт сообщества☆228Updated last year
- COVID-19 dataset for Russian regions gathered by Mediazona. Based on regional official reports. CC BY 4.0☆47Updated 3 years ago
- ☆129Updated 2 years ago
- Конкурс «Как я пришёл к программированию»☆61Updated 5 years ago
- Учебник теории категорий☆363Updated 6 years ago
- Лабораторные работы по основам информатики☆25Updated last year
- Solutions to MOOC "Functional programming in Haskell" by stepic.org☆21Updated 7 years ago
- ☆198Updated this week
- ☆7Updated 3 years ago
- Manage Yandex.Music from any macOS window☆58Updated 4 years ago
- ☆87Updated this week
- Интерактивное руководство теории игр о том, зачем и как мы доверяем друг другу☆95Updated 5 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 5 years ago
- A page helping people to sleep better☆38Updated last year
- Тестовое задание WG Forge (Backend)☆49Updated 5 years ago
- My blog codebase☆123Updated 2 months ago
- ☆90Updated 4 years ago
- ☆75Updated 7 years ago
- Sokoban game implementation on elm language☆13Updated 7 years ago
- Конституция Российской Федерации☆179Updated 4 years ago
- ☆49Updated this week
- "xi" markup language support for syntax highlighting and link jumps☆70Updated 3 months ago