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
  ☆7Updated last year
• ch3zych3z / spbu-se-mathematics
  ☆2Updated 2 years ago
• TimPushkin / DepNav
  Android application for department navigation
  ☆36Updated 3 months ago
• spbu-se / matmex-diploma-template
  Latex шаблон текста для квалификационных работ
  ☆41Updated 2 months ago
• spbu-se / report_presentation_template
  Шаблон презентации для квалификационных работ
  ☆22Updated last year
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆15Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 3 weeks 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
• shd / logic2022
  ☆10Updated 3 years ago
• OkDenAl / BMSTU-IU9
  Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9
  ☆13Updated 3 months ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 2 months ago
• true-grue / kisport
  ☆16Updated 9 months ago
• TonitaN / FormalLanguageTheory
  Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)
  ☆52Updated 3 months ago
• pprettysimpple / ITMOJava
  My Java home works
  ☆4Updated 5 years ago
• maxbarsukov / l7.X.l7
  /7 ☦ /7 – язык программирования для отечественных операторов ЭВМ, не имеющий аналогов в мире
  ☆17Updated last year
• NelosG / fp-tests
  Haskell homework tests
  ☆31Updated 3 years ago
• spbu-math-cs / bsse-latex-templates
  ☆18Updated 3 years ago
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆107Updated 2 years ago
• true-grue / VKR
  ☆18Updated 4 years ago
• polina4096 / voices
  record and listen to voice messages in your favorite IDE by JetBrains
  ☆412Updated last year
• yurii-litvinov / courses
  Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme
  ☆111Updated 3 weeks ago
• y9san9 / catbot
  Simple telegram cat-captcha bot
  ☆20Updated 2 years ago
• shd / logic2021
  ☆13Updated 4 years ago
• Jovvik / M3137year2019
  Конспекты М3*37 2019 года
  ☆78Updated this week
• 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
• Hyperb0rean / DaedalusDB
  Self-implemented persistent RAG-storage.
  ☆14Updated last month
• shd / logic2023
  ☆16Updated last year
• sancho20021 / linal
  lecture notes
  ☆29Updated 3 years ago