jagajaga / FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
☆613Updated 2 years ago
Related projects: ⓘ
- ITMO/CTD notes, y2013 🇺🇦☆65Updated 5 years ago
- Главный сайт сообщества☆228Updated last year
- Materials & home works for IFMO'2018 logic course☆27Updated 2 years ago
- ☆11Updated 7 years ago
- LaTeX styles for different purposes.☆99Updated last year
- Conspect for ITMO Operation System course (spring 2016)☆17Updated 8 years ago
- Notes for type theory course☆21Updated 5 years ago
- ☆16Updated 6 months ago
- ☆14Updated last year
- Code and materials for my book "Functional Design and Architecture"☆472Updated 2 months ago
- ☆16Updated 3 years ago
- учебник по Haskell☆274Updated last year
- ☆22Updated this week
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,061Updated 6 months ago
- computational geometry notes☆15Updated last year
- Turing machine visualizer☆22Updated 4 years ago
- Telegram Bot API for Haskell☆201Updated last year
- Учебник теории категорий☆363Updated 6 years ago
- A List of Foundational Haskell Papers☆862Updated 2 years ago
- Ваша первая книга о языке Haskell☆261Updated 10 months ago
- Examples to accompany the book "Haskell in Depth"☆256Updated 10 months ago
- ☆13Updated 3 years ago
- Don't Fear the Profunctor Optics!☆421Updated 2 years ago
- ☆10Updated 2 years ago
- ☆7Updated 5 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated 11 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- A little course to learn about some of the more obscure GHC extensions.☆637Updated 10 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated last year
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆186Updated last year