jagajaga / FP-Course-ITMOLinks
Slides and other materials for functional programming lectures ITMO university
☆618Updated 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
Sorting:
- Главный сайт сообщества☆229Updated 2 years ago
- Materials & home works for IFMO'2018 logic course☆27Updated 3 years ago
- ITMO/CTD notes, y2013 🇺🇦☆70Updated 6 years ago
- ☆14Updated 2 years ago
- Notes for type theory course☆21Updated 6 years ago
- Conspect for ITMO Operation System course (spring 2016)☆18Updated 9 years ago
- ☆16Updated last year
- ☆11Updated 8 years ago
- LaTeX styles for different purposes.☆107Updated 2 years ago
- Учебник теории категорий☆367Updated 7 years ago
- Code and materials for my book "Functional Design and Architecture"☆517Updated 6 months ago
- A List of Foundational Haskell Papers☆870Updated 6 months ago
- Telegram Bot API for Haskell☆204Updated 2 years ago
- Course material for lens☆235Updated 6 months ago
- учебник по Haskell☆276Updated last year
- Don't Fear the Profunctor Optics!☆428Updated last month
- Ваша первая книга о языке Haskell☆267Updated last year
- Examples to accompany the book "Haskell in Depth"☆262Updated last month
- Turing machine visualizer☆22Updated 5 years ago
- ☆16Updated 4 years ago
- computational geometry notes☆15Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,097Updated 5 months ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Easy to use library for building Telegram bots in Haskell.☆108Updated 3 weeks ago
- higher-order, no-boilerplate monads☆1,056Updated 2 months ago
- ☆7Updated 5 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆172Updated 2 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆709Updated 6 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- Russian translation of Okasaki's Purely Functional Data Structures☆170Updated 4 years ago