Alternatives and similar repositories for spsu-mm-se-programming

Users that are interested in spsu-mm-se-programming are comparing it to the libraries listed below

• ch3zych3z / spbu-se-mathematics
  ☆2Updated 2 years ago
• arthur100500 / Cats
  Cat photo storage
  ☆14Updated last year
• spbu-se / matmex-diploma-template
  Latex шаблон текста для квалификационных работ
  ☆41Updated 2 months ago
• spbu-se / report_presentation_template
  Шаблон презентации для квалификационных работ
  ☆22Updated last year
• TimPushkin / DepNav
  Android application for department navigation
  ☆36Updated 3 months ago
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• mimi-net / miminet
  Cute network emulation web-app for self-education and classes (based on mininet).
  ☆22Updated last week
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 2 months ago
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆15Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 3 weeks ago
• pprettysimpple / ITMOJava
  My Java home works
  ☆4Updated 5 years ago
• true-grue / kisscm
  Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА
  ☆81Updated 7 months ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 2 years ago
• hseapp / HSECore-Android
  ☆14Updated 2 years ago
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 3 years ago
• sancho20021 / linal
  lecture notes
  ☆29Updated 3 years ago
• OkDenAl / BMSTU-IU9
  Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9
  ☆13Updated 3 months ago
• Heapy / kotbot
  Bot for Kotlin chats in telegram.
  ☆24Updated last week
• Jovvik / M3137year2019
  Конспекты М3*37 2019 года
  ☆78Updated this week
• shd / logic2021
  ☆13Updated 4 years ago
• BudAlNik / turing-machine-visualizer
  Turing machine visualizer
  ☆22Updated 5 years ago
• khbminus / HSE-summaries
  Summaries for 1st year lectures @ AMI HSE SPb
  ☆54Updated 3 years ago
• godnoTA / acm.bsu.by
  ☆19Updated 2 years ago
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆107Updated 2 years ago
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Updated 6 years ago
• Covariance / java-advanced-hw-testing
  Guidelines to homework testing in IDEA
  ☆10Updated 4 years ago
• Cow-berry / Notes
  Конспекты КТ ИТМО 36 y2020
  ☆29Updated 3 years ago
• demidko / telegram-storage
  A free, 1M records NoSQL cloud database in your Telegram channel
  ☆29Updated 4 months ago
• y9san9 / catbot
  Simple telegram cat-captcha bot
  ☆20Updated 2 years ago
• meetacy / wdater
  Wdater is a Kotlin library designed to simplify database migrations when used in conjunction with the Exposed library. It provides an int…
  ☆26Updated last year