YaccConstructor / articles
Papers sources, pictures, presentations, and other stuff
☆22Updated 2 weeks ago
Alternatives and similar repositories for articles:
Users that are interested in articles are comparing it to the libraries listed below
- Teaching language LaMa for a compiler course☆74Updated this week
- Introductory textbook on Ordinary Differential Equations (in Russian)☆35Updated 2 years ago
- ☆10Updated last week
- An implementation of the Russell logical framework☆8Updated 5 years ago
- ☆38Updated 3 years ago
- Mathematical layout for web and paper☆46Updated 2 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- LaTeX styles for different purposes.☆108Updated 2 years ago
- Учебник теории категорий☆365Updated 7 years ago
- ☆9Updated 4 years ago
- Notes for type theory course☆21Updated 6 years ago
- Курс "Машинное обучение" на ФАЛТ МФТИ☆10Updated 3 years ago
- учебник по Haskell☆276Updated last year
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆47Updated 3 months ago
- Seminars on optimization methods☆30Updated 3 years ago
- Материалы семинаров по курсу баз данных ФИВТ МФТИ☆12Updated 7 years ago
- ITMO/CTD notes, y2013 🇺🇦☆71Updated 6 years ago
- ☆40Updated 4 years ago
- Lectures on optimization methods☆72Updated 2 years ago
- ☆25Updated 10 months ago
- Lectures on mathematical statistics, conducted at CAU in Kiel, Germany (2015).☆87Updated 3 years ago
- This project is used to capture machine learning pipelines created on top of Spark as OK☆52Updated 2 years ago
- Haskell homework tests☆31Updated 3 years ago
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago
- Лекции ПМИ☆73Updated 7 years ago
- Dynamic systems visualizer☆47Updated last year
- Sources for Russian articles on Algorithmica.org☆86Updated 2 years ago
- ☆24Updated 5 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- MIPT sacred materials☆48Updated 2 years ago