spbu-se / matmex-diploma-template

Related projects: ⓘ

• spbu-se / report_presentation_template
  Шаблон презентации для квалификационных работ
  ☆16Updated 2 months ago
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆16Updated 2 years ago
• true-grue / VKR
  ☆15Updated 3 years ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆50Updated 2 weeks ago
• arthur100500 / Cats
  Cat photo storage
  ☆14Updated 3 months ago
• shd / logic2021
  ☆13Updated 3 years ago
• yurii-litvinov / courses
  Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme
  ☆86Updated this week
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆67Updated last week
• BudAlNik / turing-machine-visualizer
  Turing machine visualizer
  ☆22Updated 4 years ago
• shd / logic2022
  ☆10Updated 2 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆28Updated last month
• true-grue / awesome-russian-cs-books
  ☆38Updated 2 years ago
• VArtem / lean-itmo
  ☆11Updated 3 years ago
• Stanislav-Sartasov / spsu-mm-se-programming
  A repository for SPbU Software Engineering bachelor studies
  ☆8Updated 6 months ago
• shd / logic2018
  Materials & home works for IFMO'2018 logic course
  ☆27Updated 2 years ago
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆19Updated this week
• pprettysimpple / ITMOJava
  My Java home works
  ☆4Updated 4 years ago
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆65Updated 5 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆15Updated 2 months ago
• true-grue / Compiler-Development
  Что читать о разработке компиляторов
  ☆476Updated last week
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆99Updated last year
• shd / tt2018-conspect
  ☆14Updated last year
• artemohanjanyan / tt-conspect
  Notes for type theory course
  ☆21Updated 5 years ago
• sancho20021 / linal
  lecture notes
  ☆29Updated 2 years ago
• ch3zych3z / spbu-se-mathematics
  ☆2Updated last year
• demiurg906 / test-data-helper-plugin
  ☆18Updated last month
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆27Updated 3 weeks ago
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 2 years ago
• odomanov / biblatex-gost
  Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard
  ☆68Updated last year
• jagajaga / itmo-fp-2020
  ☆7Updated 3 years ago