jagajaga / FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
☆615Updated 3 years ago
Alternatives and similar repositories for FP-Course-ITMO:
Users that are interested in FP-Course-ITMO are comparing it to the libraries listed below
- Главный сайт сообщества☆229Updated 2 years ago
- ITMO/CTD notes, y2013 🇺🇦☆71Updated 6 years ago
- Notes for type theory course☆21Updated 6 years ago
- Conspect for ITMO Operation System course (spring 2016)☆18Updated 8 years ago
- LaTeX styles for different purposes.☆108Updated 2 years ago
- ☆11Updated 8 years ago
- Materials & home works for IFMO'2018 logic course☆27Updated 3 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,093Updated 4 months ago
- ☆14Updated 2 years ago
- Telegram Bot API for Haskell☆204Updated 2 years ago
- Don't Fear the Profunctor Optics!☆427Updated 3 weeks ago
- ☆16Updated last year
- Code and materials for my book "Functional Design and Architecture"☆513Updated 5 months ago
- Examples to accompany the book "Haskell in Depth"☆262Updated 3 weeks ago
- A List of Foundational Haskell Papers☆865Updated 5 months ago
- The Haskell performance checklist☆391Updated 4 years ago
- ☆13Updated 3 years ago
- Course material for lens☆235Updated 5 months ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago
- ☆16Updated 4 years ago
- Учебник теории категорий☆365Updated 7 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,261Updated last year
- учебник по Haskell☆276Updated last year
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- Turing machine visualizer☆22Updated 5 years ago
- ☆30Updated 7 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆191Updated 2 years ago
- Easy to use library for building Telegram bots in Haskell.☆108Updated 5 months ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- «Функциональное программирование с зависимыми типами н а языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago