alexeyr / miet-haskell-course
☆25Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for miet-haskell-course
- ☆41Updated 9 years ago
- ☆30Updated 6 years ago
- Russian translation of Okasaki's Purely Functional Data Structures☆168Updated 3 years ago
- учебник по Haskell☆275Updated last year
- HN Compiler☆62Updated 5 years ago
- fprog organization repository☆22Updated 7 years ago
- Главный сайт сообщества☆229Updated last year
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Functional languages index☆42Updated 5 years ago
- Embeddable Lisp-Like Scripting☆69Updated 6 years ago
- Proof theory seminar☆31Updated 3 years ago
- ☆24Updated 4 years ago
- N2O in Haskell☆29Updated 8 years ago
- Coq Lecture Notes (WIP)☆50Updated 4 years ago
- The category theory by example book☆57Updated last year
- Lasca is Scala shifted towards Haskell.☆128Updated 6 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 5 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆56Updated 5 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆76Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Advent of Code 2017☆41Updated 5 years ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- Haskell domain modeling playground☆31Updated 2 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago