Шаблон выпускной работы на Мехмате ЮФУ
☆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 mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 8 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Analysis of various health-related datasets☆13Mar 18, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- being some experiments, working towards some equipment I wish I had☆38Feb 3, 2016Updated 10 years ago
- Tools for multilanguage & Markdown multilang☆12Aug 13, 2026Updated last month
- Planet: Understanding the Amazon from Space☆12Jul 23, 2017Updated 9 years ago
- Scripts which make turning off Windows telemetry easier☆14Jun 13, 2016Updated 10 years ago
- IoT end-to-end encrypted IPv6 network. First self arranging mesh network running links aggregation and dDNS!☆49Feb 21, 2026Updated 6 months 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
- MaskTools v2 fork☆16Jul 17, 2014Updated 12 years ago
- texstudio monokai☆12Sep 3, 2020Updated 6 years ago
- Convert Markdown to beautiful PDF using pandoc, LaTeX, and chocolate donuts.☆17Mar 22, 2023Updated 3 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.
- Fork of stargazer, adding booktabs support for pretty LaTeX tables from R.☆15Jul 28, 2018Updated 8 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆67Aug 30, 2022Updated 4 years ago
- Heat, air and moisture transfer modelling in Python☆16Dec 18, 2019Updated 6 years ago
- ☆19Apr 15, 2026Updated 5 months ago
- JSM 2016 talk: Thinking with Data using R and RStudio: powerful idioms for analysts☆23Jul 31, 2016Updated 10 years ago
- BibTeX bibliography for papers, books, EPrints, articles, etc. of Nicholas J. Higham.☆18Jan 1, 2024Updated 2 years ago
- Convenient mode selection in Beamer documents☆25Jul 15, 2025Updated last year
- The Penn Locally Nameless Metatheory Library☆77Mar 26, 2025Updated last year
- Tecplot parser to read binary format (.plt)☆24Feb 13, 2025Updated last year
- 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.
- A simple keyboard tutor for programming students☆20Jan 16, 2025Updated last year
- Monadic effects and equational reasoning in Rocq☆77Jul 21, 2026Updated last month
- R for Reproducible Research tutorial☆28Jun 13, 2017Updated 9 years ago
- Заготовка для документа на XeTeX, использующая пакет ESKDx. Подходит для напсисания диплома/диссертации.☆28Jun 18, 2011Updated 15 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆103Oct 21, 2025Updated 10 months ago
- R package that allows you to run R code in different versions of R and compare results☆30Sep 7, 2021Updated 5 years ago
- Another implementation of Frank.☆71Jul 14, 2017Updated 9 years ago
- A repository for the 10 simple rules data sharing paper to be submitted to PLoS Comp Biology☆28Oct 20, 2016Updated 9 years ago
- Scripts and Howtos about using different CSL (Citation Style Language) files with pandoc☆36Jan 1, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Bot that posts posts Latex pictures☆39Oct 4, 2020Updated 5 years ago
- Convert markdown to docx☆36Jun 8, 2017Updated 9 years ago
- Locality Sensitive Hashing In R☆40Jan 11, 2019Updated 7 years ago
- ML Training website☆44Oct 1, 2019Updated 6 years ago
- Programming cheatsheets in R markdown☆37Jun 21, 2016Updated 10 years ago
- 🎑 This Rails gem integrates Carrierwave with Cloudflare Image Resizing☆30May 25, 2024Updated 2 years ago
- ☆40Nov 2, 2017Updated 8 years ago