artemohanjanyan / tt-conspect
Notes for type theory course
☆21Updated 5 years ago
Related projects: ⓘ
- ☆16Updated 6 months ago
- ☆22Updated this week
- Conspect for ITMO Operation System course (spring 2016)☆17Updated 8 years ago
- LaTeX styles for different purposes.☆99Updated last year
- ITMO/CTD notes, y2013 🇺🇦☆65Updated 5 years ago
- Haskell homework tests☆31Updated 2 years ago
- computational geometry notes☆15Updated last year
- ☆14Updated last year
- Materials & home works for IFMO'2018 logic course☆27Updated 2 years ago
- ☆7Updated 3 years ago
- ☆13Updated 3 years ago
- ☆16Updated 3 years ago
- ☆11Updated 7 years ago
- Turing machine visualizer☆22Updated 4 years ago
- ☆11Updated 3 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 5 years ago
- Slides and other materials for functional programming lectures ITMO university☆613Updated 2 years ago
- Functional Algorithms Verified in SSReflect☆39Updated last week
- ☆10Updated 2 years ago
- Teaching language LaMa for a compiler course☆67Updated last week
- Coq Lecture Notes (WIP)☆49Updated 3 years ago
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Updated 2 years ago
- Facilities for generating dependently-typed data☆20Updated this week
- ☆30Updated 6 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- Конспекты М3*37 2019 года☆70Updated this week
- ☆14Updated 5 years ago
- Machine Learning in Haskell☆29Updated 4 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated last year
- Hi(experimental language) lang interpreter + repl☆12Updated 2 years ago