Шаблон выпускной работы на Мехмате ЮФУ
☆19Jun 3, 2019Updated 7 years ago
Alternatives and similar repositories for mmcs_sfedu_thesis
Users that are interested in mmcs_sfedu_thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a programming language with composable refinements and inverse functions inference☆12Sep 4, 2026Updated last month
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- ☆13Mar 2, 2016Updated 10 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 8 years ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Historical dance bibliography☆10Updated this week
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- Analysis of various health-related datasets☆13Mar 18, 2021Updated 5 years ago
- Example showing how to make a slick title slide for beamer presentations☆12Jun 17, 2013Updated 13 years ago
- Tools for multilanguage & Markdown multilang☆12Oct 18, 2026Updated last week
- being some experiments, working towards some equipment I wish I had☆38Feb 3, 2016Updated 10 years ago
- MaskTools v2 fork☆16Jul 17, 2014Updated 12 years ago
- Проект шрифтов ГОСТ 2.304-81 (ttf, otf, ...), пакета TeX для них, msi, msm, chocolatey пакета для них☆16Aug 19, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- texstudio monokai☆12Sep 3, 2020Updated 6 years ago
- Planet: Understanding the Amazon from Space☆12Jul 23, 2017Updated 9 years ago
- Syntax themes for AkelPad text editor with Coder plugin☆19Jun 3, 2026Updated 4 months ago
- Convert Markdown to beautiful PDF using pandoc, LaTeX, and chocolate donuts.☆17Mar 22, 2023Updated 3 years ago
- Awesome zsh prompt 💁☆15Sep 19, 2017Updated 9 years ago
- A LaTeX template with some interesting stuff I found over the years. Might be overkill for small projects though.☆16Jan 11, 2015Updated 11 years ago
- JSM 2016 talk: Thinking with Data using R and RStudio: powerful idioms for analysts☆23Jul 31, 2016Updated 10 years ago
- Heat, air and moisture transfer modelling in Python☆16Dec 18, 2019Updated 6 years ago
- Instant polls in your presentations☆17Jan 25, 2026Updated 9 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆15Jun 27, 2014Updated 12 years ago
- ☆63Updated this week
- Tecplot parser to read binary format (.plt)☆24Feb 13, 2025Updated last year
- ☆20Aug 18, 2026Updated 2 months ago
- The Penn Locally Nameless Metatheory Library☆80Mar 26, 2025Updated last year
- Another implementation of Frank.☆71Jul 14, 2017Updated 9 years ago
- russian eskx sample☆18Nov 18, 2024Updated last year
- Monadic effects and equational reasoning in Rocq☆77Sep 23, 2026Updated last month
- R for Reproducible Research tutorial☆28Jun 13, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- R package that allows you to run R code in different versions of R and compare results☆30Sep 7, 2021Updated 5 years ago
- Заготовка для документа на XeTeX, использующая пакет ESKDx. Подходит для напсисания диплома/диссертации.☆28Jun 18, 2011Updated 15 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆104Oct 21, 2025Updated last year
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 6 years ago
- Scripts and Howtos about using different CSL (Citation Style Language) files with pandoc☆36Jan 1, 2019Updated 7 years ago
- Distributed parallel computing on data.table☆35Apr 30, 2016Updated 10 years ago
- Programming cheatsheets in R markdown☆37Jun 21, 2016Updated 10 years ago