Alternatives and similar repositories for Cats

Users that are interested in Cats are comparing it to the libraries listed below

• Stanislav-Sartasov / spsu-mm-se-programming
  A repository for SPbU Software Engineering bachelor studies
  ☆8Updated last year
• ch3zych3z / spbu-se-mathematics
  ☆2Updated 2 years ago
• spbu-se / report_presentation_template
  Шаблон презентации для квалификационных работ
  ☆21Updated 10 months ago
• TimPushkin / DepNav
  Android application for department navigation
  ☆35Updated 3 weeks ago
• mimi-net / miminet
  Cute network emulation web-app for self-education and classes (based on mininet).
  ☆18Updated this week
• spbu-se / matmex-diploma-template
  Latex шаблон текста для квалификационных работ
  ☆40Updated 4 months ago
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆15Updated 3 years ago
• spbu-coding-2022 / trees-4
  trees-4 created by GitHub Classroom
  ☆11Updated last year
• Hyperb0rean / DaedalusDB
  Graph Document-oriented Database Managment System with custom Type System
  ☆14Updated last year
• OkDenAl / BMSTU-IU9
  Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9
  ☆12Updated 2 weeks ago
• sancho20021 / linal
  lecture notes
  ☆29Updated 3 years ago
• shd / logic2021
  ☆13Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated last month
• true-grue / VKR
  ☆17Updated 3 years ago
• yurii-litvinov / courses
  Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme
  ☆107Updated 2 weeks ago
• shd / logic2022
  ☆10Updated 2 years ago
• whytrall / is-faq
  FAQ для первокурсников ИТМО
  ☆19Updated 3 months ago
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 3 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last month
• toadharvard / Lambada
  Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
  ☆18Updated last year
• BudAlNik / turing-machine-visualizer
  Turing machine visualizer
  ☆22Updated 5 years ago
• maxbarsukov / l7.X.l7
  /7 ☦ /7 – язык программирования для отечественных операторов ЭВМ, не имеющий аналогов в мире
  ☆17Updated last year
• Jovvik / M3137year2019
  Конспекты М3*37 2019 года
  ☆78Updated this week
• ArtemKar123 / Mallard-bot
  ☆13Updated 2 months ago
• true-grue / kisscm
  Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА
  ☆84Updated 4 months ago
• Darderion / map
  Web-app that assists in checking students' assignments
  ☆14Updated 7 months ago
• maxim092001 / Itmo-University
  ITMO labs
  ☆27Updated last year
• spbu-math-cs / bsse-latex-templates
  ☆17Updated 3 years ago
• sancho20021 / seti-conspect
  ☆20Updated 2 years ago
• khbminus / HSE-summaries
  Summaries for 1st year lectures @ AMI HSE SPb
  ☆54Updated 2 years ago