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☆72Updated this week
- ☆10Updated this week
- Notes for type theory course☆21Updated 6 years ago
- ☆24Updated 5 years ago
- учебник по Haskell☆276Updated last year
- Introductory textbook on Ordinary Differential Equations (in Russian)☆35Updated 2 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- Mathematical layout for web and paper☆46Updated 2 years ago
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 3 months ago
- ☆38Updated 3 years ago
- Учебник теории категорий☆364Updated 7 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- Morphological analyzer `mystem` (Russian language) wrapper for JVM languages☆24Updated 7 months ago
- Russian translation of Okasaki's Purely Functional Data Structures☆170Updated 4 years ago
- ☆24Updated last year
- LaTeX styles for different purposes.☆104Updated last year
- Proof theory seminar☆33Updated 3 years ago
- ☆25Updated 10 months ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- ☆40Updated 4 years ago
- Deep learning-based bug detector for IntelliJ☆6Updated 4 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 3 years ago
- The collection of Context-Free Path Querying algorithms☆13Updated last month
- Ваша первая книга о языке Haskell☆265Updated last year
- Лекции ПМИ☆73Updated 7 years ago
- All my algorithms for sport programming☆11Updated 8 years ago
- Материа лы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 6 years ago