shd/logic2022 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/logic2022

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/logic2022)

Close

shd / logic2022View on GitHubMore

• External links
• Readme badge

☆10Jul 2, 2022Updated 3 years ago

Alternatives and similar repositories for logic2022

Users that are interested in logic2022 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Cow-berry / Notes

  View on GitHub
  Конспекты КТ ИТМО 36 y2020
  ☆30Jan 23, 2022Updated 4 years ago
• itmo-ctd-y2020-36-notes / s4-notes

  View on GitHub
  ☆13Jun 23, 2022Updated 3 years ago
• shd / logic2023

  View on GitHub
  ☆16Oct 23, 2023Updated 2 years ago
• maxim092001 / Itmo-University

  View on GitHub
  ITMO labs
  ☆29Oct 22, 2023Updated 2 years ago
• Gadjib / ocamlhomeworks

  View on GitHub
  Repository for homeworks.
  ☆10Jun 1, 2021Updated 4 years ago
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated last year
• kysect / Main

  View on GitHub
  Место, где будет хранится основная информация связанная с жизнью kysect
  ☆23Apr 5, 2024Updated last year
• renbou / loggo

  View on GitHub
  Painless to setup lightweight log aggregation system
  ☆14Feb 19, 2024Updated 2 years ago
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆21Jul 19, 2021Updated 4 years ago
• AlexZabashta / ITMO-Beamer-theme

  View on GitHub
  LaTex template for ITMO style presentations
  ☆10Jan 19, 2025Updated last year
• towry / nvim

  View on GitHub
  Towry's Neovim config
  ☆11Jul 16, 2024Updated last year
• Jovvik / M3137year2019

  View on GitHub
  Конспекты М3*37 2019 года
  ☆79Updated this week
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years 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
• iliayar / ITMO

  View on GitHub
  Notes, labs, etc. from university CS courses
  ☆16Updated this week
• awodey / math

  View on GitHub
  Mathematical notes and papers
  ☆27Jan 22, 2026Updated 2 months ago
• barry-jay-personal / typed_tree_calculus

  View on GitHub
  types for various combinatory systems, especialy tree calculi
  ☆24Jan 23, 2025Updated last year
• westwick / haiku-detector

  View on GitHub
  A cool slack bot that will find hidden haikus in your slack messages
  ☆13Mar 23, 2018Updated 8 years ago
• nariman / ifmo-code

  View on GitHub
  Source code from classes at ITMO University
  ☆11Oct 26, 2021Updated 4 years ago
• solzimer / nsyslog-parser

  View on GitHub
  Syslog Parser. Accepts RFC 3164 (BSD) and RFC 5424 formats
  ☆18Jun 6, 2023Updated 2 years ago
• interceo / ITMO_y2021

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

  View on GitHub
  two types (external/internal) cheat examples, and game to test on.
  ☆16Oct 27, 2022Updated 3 years ago
• ShuffleZZZ / ITMO

  View on GitHub
  Studying projects
  ☆10Jun 14, 2021Updated 4 years ago
• massile / ocean

  View on GitHub
  An ocean simulator built from scratch
  ☆18Nov 25, 2021Updated 4 years ago
• VKCOM / admstorm

  View on GitHub
  PhpStorm plugin aimed at simplifying tasks at the junction of the local repository and the repository on the dev server
  ☆21Jan 19, 2026Updated 2 months ago
• nathanstitt / dc-pdf-raster-test

  View on GitHub
  Test and benchmark various PDF page rasterization utilities
  ☆20Jul 20, 2014Updated 11 years ago
• otterbrix / otterbrix

  View on GitHub
  Otterbrix: computation framework for Semi-structured data processing
  ☆127Updated this week
• thornoar / smoothmanifold

  View on GitHub
  ☆19Jan 5, 2026Updated 2 months ago
• PLTools / Lama

  View on GitHub
  Teaching language LaMa for a compiler course
  ☆79Mar 16, 2026Updated last week
• deazbuka / deazbuka.github.io

  View on GitHub
  ☆11Jul 15, 2022Updated 3 years ago
• cannor147 / itmo-coding

  View on GitHub
  Coding Theory course at ITMO University
  ☆13Dec 9, 2022Updated 3 years ago
• dfpena / epidemic-simulation-pygame

  View on GitHub
  A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability
  ☆21Jan 31, 2020Updated 6 years ago
• algorithmica-org / articles

  View on GitHub
  Yet another Computer Science website
  ☆25Feb 15, 2022Updated 4 years ago
• re-xyr / speff

  View on GitHub
  Fast, experimental effect handlers with delimited control
  ☆21Jan 1, 2024Updated 2 years ago
• shd / logic2021

  View on GitHub
  ☆13Jun 10, 2021Updated 4 years ago
• purplesyringa / problem-xml-specs

  View on GitHub
  Specs of the problem.xml format for competitive programming judge systems
  ☆21Nov 1, 2022Updated 3 years ago
• mary3000 / resume

  View on GitHub
  ☆80Jul 23, 2020Updated 5 years ago
• CategoryTheoryArchive / archive

  View on GitHub
  A digital archive of category theory papers.
  ☆35Feb 5, 2026Updated last month
• jagajaga / FP-Course-ITMO

  View on GitHub
  Slides and other materials for functional programming lectures ITMO university
  ☆625Jan 17, 2022Updated 4 years ago