Шаблон выпускной работы на Мехмате ЮФУ
☆14Jun 29, 2016Updated 9 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:
- Purescript wrapper for Sequelize - http://docs.sequelizejs.com/☆16Jul 11, 2023Updated 2 years ago
- System for managing lemonboy bar☆11Jan 1, 2018Updated 8 years ago
- A rEFInd theme based of Burg Metro☆14Aug 29, 2018Updated 7 years ago
- A small bash script to display lyrics for your Spotify songs☆10Jun 13, 2017Updated 8 years ago
- Numix Circle Icons for OS X☆10Jun 20, 2018Updated 7 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.
- Rust-powered Neovim package manager☆20Jul 8, 2023Updated 2 years ago
- my little cute theme☆14Sep 23, 2016Updated 9 years ago
- 🧊 Інститут формальної математики☆35Mar 27, 2026Updated 3 weeks ago
- CS311. Методы разработки компиляторов (практика) ФИиИТ 4 курса☆10Dec 8, 2022Updated 3 years ago
- My precious little dotfiles☆13Jun 13, 2019Updated 6 years ago
- Auto-generated theme files for various Linux apps employing the Android Material color palette.☆13Oct 17, 2020Updated 5 years ago
- collection of my dots and scripts ive found online☆17Oct 23, 2021Updated 4 years ago
- A theme for Active Admin based on Blaze CSS 3.x☆45Oct 5, 2023Updated 2 years ago
- A mirror of oh-my-zsh/plugins/command-not-found in case you don't want all of oh-my-zsh☆27Sep 5, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Custom browser startpage☆16Jun 19, 2020Updated 5 years ago
- A multiplatform, multilingual plotting tool. It's lightweight and asynchronous, and figure layouts are defined declaratively using QML.☆22Jul 14, 2019Updated 6 years ago
- The scripts in my ~/bin/☆20Apr 7, 2026Updated last week
- A Chromium fork with a dark theme and white flash fixes☆11Jan 28, 2017Updated 9 years ago
- A tutorial to the Idris Programming Language.☆96Dec 16, 2015Updated 10 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆60Jun 17, 2022Updated 3 years ago
- A flat theme with transparent elements, greyscale colors, and OSX style window buttons.☆18Jun 30, 2017Updated 8 years ago
- A simple TikTok viewer in Python☆23Jul 29, 2024Updated last year
- Automatic white-box testing with Free monads: approach description and showcase☆84Jan 1, 2022Updated 4 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.
- dotfile templating tools☆33Feb 8, 2017Updated 9 years ago
- my lovely bspwm + polybar dots [OLD]☆22Apr 20, 2020Updated 6 years ago
- A simple bash script that makes i3lock look a bit nicer☆26Sep 14, 2017Updated 8 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Backups☆33Jan 10, 2022Updated 4 years ago
- A repository of shell-scripts which help to create a full desktop theme based on a single image.☆37Jul 27, 2016Updated 9 years ago
- contains my dot☆39Nov 7, 2015Updated 10 years ago
- 🖥 A macOS-variant of the Arc Theme☆34Oct 1, 2017Updated 8 years ago
- BACKUP ALL THE DOTS!!!☆30Nov 8, 2017Updated 8 years ago
- AI Agents on 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.
- Tabbar Ruler Mode☆54Updated this week
- ☆89Nov 2, 2022Updated 3 years ago
- Run shell commands asynchronously and show the output in Vim when they finish☆64Oct 7, 2016Updated 9 years ago
- Coq plugin embedding elpi☆187Updated this week
- Create a fancy image to use with i3lock.☆61Jan 12, 2019Updated 7 years ago
- A web site for converting haskell code into pointfree haskell code☆165Jan 1, 2023Updated 3 years ago
- A browser startpage with links and Startpage search bar☆65Jul 19, 2016Updated 9 years ago