Шаблон выпускной работы на Мехмате ЮФУ
☆19Jun 3, 2019Updated 6 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:
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- A prototype implementation of the Frank programming language☆17Feb 11, 2016Updated 10 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- A Haskell library of GRaph Algorithms and Data Structures☆18Feb 3, 2023Updated 3 years ago
- Analysis of various health-related datasets☆13Mar 18, 2021Updated 5 years ago
- Проект шрифтов ГОСТ 2.304-81 (ttf, otf, ...), пакета TeX для них, msi, msm, chocolatey пакета для них☆16Aug 19, 2016Updated 9 years ago
- texstudio monokai☆12Sep 3, 2020Updated 5 years ago
- Fork of stargazer, adding booktabs support for pretty LaTeX tables from R.☆15Jul 28, 2018Updated 7 years ago
- Scripts which make turning off Windows telemetry easier☆15Jun 13, 2016Updated 9 years ago
- JSM 2016 talk: Thinking with Data using R and RStudio: powerful idioms for analysts☆23Jul 31, 2016Updated 9 years ago
- 🏙 Extra tiny `srcset` attribute parser ~150B☆17May 24, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆19Feb 18, 2026Updated last month
- Convenient mode selection in Beamer documents☆25Jul 15, 2025Updated 8 months ago
- The Penn Locally Nameless Metatheory Library☆76Mar 26, 2025Updated last year
- Code for DataViz course website☆19Feb 29, 2016Updated 10 years ago
- Tecplot parser to read binary format (.plt)☆24Feb 13, 2025Updated last year
- Monadic effects and equational reasoning in Rocq☆75Updated this week
- R for Reproducible Research tutorial☆28Jun 13, 2017Updated 8 years ago
- Заготовка для документа на XeTeX, использующая пакет ESKDx. Подходит для напсисания диплома/диссертации.☆28Jun 18, 2011Updated 14 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Oct 21, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Another implementation of Frank.☆70Jul 14, 2017Updated 8 years ago
- R package that allows you to run R code in different versions of R and compare results☆30Sep 7, 2021Updated 4 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
- Gives a short overview of the existing TeX-engines and the history of TeX.☆47Jul 12, 2021Updated 4 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☆36Apr 30, 2016Updated 9 years ago
- Linting support for python using the flake8 library.☆49Updated this week
- A former repository of the beamer theme for the typesetting of thesis defense presentations at the Masaryk University in Brno. Now migrat…☆49Sep 24, 2021Updated 4 years ago
- R Interface for LightGBM☆46Nov 2, 2017Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- R bindings for the github API☆70Jun 6, 2018Updated 7 years ago
- Extensible Effects: An Alternative to Monad Transformers☆174Jan 18, 2021Updated 5 years ago
- Work with Monads in R☆49Jun 7, 2017Updated 8 years ago
- A visual overview of TeX’s length units and their definitions☆67Jul 10, 2016Updated 9 years ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆70Apr 22, 2024Updated last year
- Easy and flexible logging for R☆79Feb 16, 2018Updated 8 years ago
- Linting support for Python using the mypy linter.☆148Updated this week