ilyakooo0 / TechDoc
📄🖋️💻 LaTeX document class for technical documents at SE HSE
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for TechDoc
- ☆14Updated 2 years ago
- Teaching language LaMa for a compiler course☆70Updated last week
- LaTeX styles for different purposes.☆101Updated last year
- Haskell homework tests☆31Updated 2 years ago
- Notes for type theory course☆21Updated 5 years ago
- Papers sources, pictures, presentations, and other stuff☆22Updated 5 months ago
- ITMO/CTD notes, y2013 🇺🇦☆70Updated 5 years ago
- Facilities for generating dependently-typed data☆24Updated this week
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- Turing machine visualizer☆22Updated 4 years ago
- Labs for Operating Systems course at HSE☆73Updated 3 years ago
- ☆13Updated 3 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago
- Mathematical layout for web and paper☆45Updated 2 years ago
- Machine Learning in Haskell☆29Updated 5 months ago
- ☆38Updated 2 years ago
- Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…☆334Updated 7 months ago
- Компилятор Рефала-5λ☆79Updated last year
- ☆9Updated last week
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]☆45Updated last month
- lecture notes☆29Updated 3 years ago
- Шаблон для создания документов latex по ГОСТ: отчетов о НИР, курсовыx, рефератов, дипломов и др.☆98Updated 9 years ago
- Правила, исходники и прочее для aicups.ru☆157Updated last year
- ☆14Updated last year
- My strange adventures in this place☆12Updated 2 years ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆68Updated last year
- My Java home works☆4Updated 4 years ago