sugakandrey / Functional-analysis
β11Updated 7 years ago
Related projects: β
- β16Updated 6 months ago
- ITMO/CTD notes, y2013 πΊπ¦β65Updated 5 years ago
- Conspect for ITMO Operation System course (spring 2016)β17Updated 8 years ago
- Notes for type theory courseβ21Updated 5 years ago
- Slides and other materials for functional programming lectures ITMO universityβ613Updated 2 years ago
- Materials & home works for IFMO'2018 logic courseβ27Updated 2 years ago
- Turing machine visualizerβ22Updated 4 years ago
- LaTeX styles for different purposes.β99Updated last year
- β14Updated last year
- β22Updated this week
- β16Updated 3 years ago
- computational geometry notesβ15Updated last year
- β13Updated 3 years ago
- β7Updated 5 years ago
- Haskell homework testsβ31Updated 2 years ago
- Hi(experimental language) lang interpreter + replβ12Updated 2 years ago
- β12Updated 2 years ago
- β12Updated 2 years ago
- β11Updated this week
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.β11Updated 2 years ago
- β10Updated 2 years ago
- lecture notesβ29Updated 2 years ago
- ΠΠΎΠ½ΡΠΏΠ΅ΠΊΡΡ Π3*37 2019 Π³ΠΎΠ΄Π°β70Updated this week
- tt2019β6Updated 4 years ago
- β5Updated 11 months ago
- β7Updated 3 years ago
- Kotlin demo for second year CTDDEV studentsβ6Updated 6 years ago
- Machine Learning in Haskellβ29Updated 4 months ago
- Interpolate plugin for GHC 8.10.7β13Updated 2 years ago
- β11Updated 3 years ago