Шаблон выпускной работы на Мехмате ЮФУ
☆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
- This library was created for authentication purposes. OpenCV and Open MP libraries are used.☆10Sep 23, 2016Updated 9 years ago
- 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.
- 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
- TeX template for ICMV conference (SPIE-like)☆13Nov 8, 2018Updated 7 years ago
- Planet: Understanding the Amazon from Space☆12Jul 23, 2017Updated 8 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
- 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
- Heat, air and moisture transfer modelling in Python☆14Dec 18, 2019Updated 6 years ago
- Thesis on how to build functional, reactive and well structured front end applications. A JavaScript way of doing the Elm architecture☆17Mar 16, 2017Updated 9 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.
- Formalization of the Dependent Object Types (DOT) calculus☆66Aug 30, 2022Updated 3 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
- BibTeX bibliography for papers, books, EPrints, articles, etc. of Nicholas J. Higham.☆18Jan 1, 2024Updated 2 years ago
- ☆19Feb 18, 2026Updated 2 months ago
- Convenient mode selection in Beamer documents☆25Jul 15, 2025Updated 9 months ago
- The Penn Locally Nameless Metatheory Library☆76Mar 26, 2025Updated last year
- Tecplot parser to read binary format (.plt)☆24Feb 13, 2025Updated last year
- russian eskx sample☆18Nov 18, 2024Updated last year
- 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.
- A simple keyboard tutor for programming students☆20Jan 16, 2025Updated last year
- Monadic effects and equational reasoning in Rocq☆75Apr 12, 2026Updated last week
- LaTeX classes and templates for typesetting dissertations in Russian☆27Feb 29, 2020Updated 6 years ago
- Заготовка для документа на XeTeX, использующая пакет ESKDx. Подходит для напсисания диплома/диссертации.☆28Jun 18, 2011Updated 14 years ago
- ☆19Mar 6, 2025Updated last year
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Oct 21, 2025Updated 5 months ago
- Another implementation of Frank.☆71Jul 14, 2017Updated 8 years ago
- Augmented WebGLRenderingContext.prototype.compileShader☆24Feb 22, 2015Updated 11 years ago
- Gives a short overview of the existing TeX-engines and the history of TeX.☆47Jul 12, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Scripts and Howtos about using different CSL (Citation Style Language) files with pandoc☆36Jan 1, 2019Updated 7 years ago
- Various data structures for use in the Idris Language.☆94May 22, 2020Updated 5 years ago
- Distributed parallel computing on data.table☆36Apr 30, 2016Updated 9 years ago
- Scripts for AkelPad text editor with Scripts plugin☆35Apr 13, 2026Updated last week
- Locality Sensitive Hashing In R☆40Jan 11, 2019Updated 7 years ago
- 🐋📓📽 Latex & Texstudio Dockerfiles with multiple texlive versions and proper command line tools 🔮 Mirror only!☆35Jun 1, 2023Updated 2 years ago
- Programming cheatsheets in R markdown☆37Jun 21, 2016Updated 9 years ago