shd/logic2023 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

shd/logic2023

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/shd/logic2023)

Close

shd / logic2023View on GitHubMore

• External links
• Readme badge

☆16Oct 23, 2023Updated 2 years ago

Alternatives and similar repositories for logic2023

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

• pure-vessel / ct-notes

  View on GitHub
  ITMO CT PureVessel's notes.
  ☆28Mar 30, 2025Updated 11 months ago
• shd / logic2022

  View on GitHub
  ☆10Jul 2, 2022Updated 3 years ago
• interceo / ITMO_y2021

  View on GitHub
  Labs/HW on CT ITMO
  ☆19Sep 3, 2025Updated 6 months ago
• shd / logic2023a

  View on GitHub
  ☆18Mar 14, 2024Updated last year
• Jovvik / M3137year2019

  View on GitHub
  Конспекты М3*37 2019 года
  ☆77Updated this week
• DespairedController / computer-architecture

  View on GitHub
  Конспекты курса архитектуры ЭВМ, ИТМО
  ☆46Oct 25, 2019Updated 6 years ago
• donRumata03 / Conspects

  View on GitHub
  ITMO CT M3x38 conspects
  ☆20Jul 10, 2025Updated 7 months ago
• itmo-ctd-y2020-36-notes / s4-notes

  View on GitHub
  ☆13Jun 23, 2022Updated 3 years ago
• diademoff / 2ch

  View on GitHub
  Набор скриптов для двач 2ch.hk
  ☆45Nov 17, 2025Updated 3 months ago
• Jovvik / hi

  View on GitHub
  A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.
  ☆11Jan 31, 2022Updated 4 years ago
• deazbuka / deazbuka.github.io

  View on GitHub
  ☆11Jul 15, 2022Updated 3 years ago
• RuslanFatkhutdinov / google-analytics-api-to-pandas-df

  View on GitHub
  Getting data from Google Analytics API to pandas DataFrame
  ☆10Oct 2, 2019Updated 6 years ago
• MaybebabyEnjoyer / ITMO

  View on GitHub
  xd
  ☆68Feb 6, 2025Updated last year
• npanuhin / ITMO-Algo

  View on GitHub
  Homework solutions for the Algorithms and Data Structures course at ITMO University (2021/2022)
  ☆11Sep 5, 2025Updated 5 months ago
• cannor147 / itmo-coding

  View on GitHub
  Coding Theory course at ITMO University
  ☆13Dec 9, 2022Updated 3 years ago
• braille-systems / learn-braille

  View on GitHub
  Android application to teach Braille writing system. Inspired by stepik.org, Anki and Braille Tutor
  ☆11Aug 25, 2024Updated last year
• re-xyr / speff

  View on GitHub
  Fast, experimental effect handlers with delimited control
  ☆21Jan 1, 2024Updated 2 years ago
• jurta / nlp-rus-zaliz

  View on GitHub
  Processing the grammar dictionary of A. A. Zaliznyak for morphological inflection
  ☆19Jun 4, 2020Updated 5 years ago
• vladrus13 / ITMO

  View on GitHub
  My strange adventures in this place
  ☆13Feb 10, 2022Updated 4 years ago
• acheshkov / pytracebugs

  View on GitHub
  ☆25Jun 2, 2022Updated 3 years ago
• bravikov / utf8_to_cp1251

  View on GitHub
  Библиотека на языке C для конвертации строк из кодировки UTF-8 в CP1251
  ☆20Dec 5, 2020Updated 5 years ago
• sancho20021 / seti-conspect

  View on GitHub
  ☆20Jun 30, 2022Updated 3 years ago
• mrhakimov / russian-internships

  View on GitHub
  IT internships in Russia 🇷🇺
  ☆452Mar 18, 2024Updated last year
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 6 years ago
• ermakus / pyquik

  View on GitHub
  Python API for Quik trading client
  ☆27May 1, 2011Updated 14 years ago
• vafeiadis / hahn

  View on GitHub
  Hahn: A Coq library
  ☆29Jun 25, 2024Updated last year
• netology-code / ds3-spring-2018

  View on GitHub
  Материалы третьего набора офлайн-программы Data Scientist.
  ☆24Aug 15, 2018Updated 7 years ago
• davidfstr / idris-insertion-sort

  View on GitHub
  Provably correct implementation of insertion sort in Idris.
  ☆31Apr 23, 2021Updated 4 years ago
• yeluo1994 / DSBI

  View on GitHub
  Double-Sided Braille Image Dataset
  ☆26Nov 18, 2020Updated 5 years ago
• DianaNeumann / Awesome-OOP-And-Patterns

  View on GitHub
  OOP ITMO
  ☆31Mar 26, 2023Updated 2 years ago
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆108Apr 21, 2023Updated 2 years ago
• michaelt / tagless

  View on GitHub
  oleg modules
  ☆32Feb 20, 2013Updated 13 years ago
• JetBrains / kotlin-compiler-devkit

  View on GitHub
  ☆45Feb 19, 2026Updated last week
• maxim092001 / Itmo-University

  View on GitHub
  ITMO labs
  ☆29Oct 22, 2023Updated 2 years ago
• CPP-KT / cpp-notes

  View on GitHub
  ITMO CT C++ course notes
  ☆156Sep 4, 2025Updated 6 months ago
• mtt-lang / mtt-lang

  View on GitHub
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆47May 29, 2022Updated 3 years ago
• true-grue / awesome-russian-cs-books

  View on GitHub
  ☆41Feb 20, 2022Updated 4 years ago
• andrejbauer / what-is-algebraic-about-algebraic-effects

  View on GitHub
  ☆48Jul 5, 2019Updated 6 years ago
• mryab / dl-hse-ami

  View on GitHub
  Deep Learning course materials (HSE, Faculty of Computer Science)
  ☆44Dec 13, 2022Updated 3 years ago