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

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

Close

shd / logic2023aView on GitHubMore

• External links
• Readme badge

☆18Mar 14, 2024Updated last year

Alternatives and similar repositories for logic2023a

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

• MaybebabyEnjoyer / ITMO

  View on GitHub
  xd
  ☆68Feb 6, 2025Updated last year
• Gadjib / ocamlhomeworks

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

  View on GitHub
  ☆16Oct 23, 2023Updated 2 years ago
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated last year
• AlexZabashta / ITMO-Beamer-theme

  View on GitHub
  LaTex template for ITMO style presentations
  ☆10Jan 19, 2025Updated last year
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆21Jul 19, 2021Updated 4 years ago
• vaniog / lazymigrate

  View on GitHub
  TUI for managing golang-migrate migrations
  ☆16Jun 6, 2024Updated last year
• shd / logic2022

  View on GitHub
  ☆10Jul 2, 2022Updated 3 years ago
• icpc / live-v3

  View on GitHub
  Overlay for competitive programming competitions broadcasts
  ☆63Updated this week
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• thornoar / smoothmanifold

  View on GitHub
  ☆18Jan 5, 2026Updated last month
• barry-jay-personal / typed_tree_calculus

  View on GitHub
  types for various combinatory systems, especialy tree calculi
  ☆24Jan 23, 2025Updated last year
• awodey / math

  View on GitHub
  Mathematical notes and papers
  ☆27Jan 22, 2026Updated last month
• Jovvik / M3137year2019

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

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

  View on GitHub
  A digital archive of category theory papers.
  ☆35Feb 5, 2026Updated 3 weeks ago
• buzden / deptycheck

  View on GitHub
  Facilities for generating dependently-typed data
  ☆29Updated this week
• vaibhavkarve / leanteach2020

  View on GitHub
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆31Jan 17, 2022Updated 4 years ago
• mrhakimov / resume

  View on GitHub
  ☆47Jan 22, 2026Updated last month
• maxim092001 / Itmo-University

  View on GitHub
  ITMO labs
  ☆29Oct 22, 2023Updated 2 years ago
• felixwellen / synthetic-zariski

  View on GitHub
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆68Updated this week
• effectfully / inference-in-agda

  View on GitHub
  A tutorial on how Agda infers things
  ☆64Jul 10, 2025Updated 7 months ago
• emilyriehl / infinity-cosmos

  View on GitHub
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆89Feb 23, 2026Updated last week
• mikeshulman / catlog

  View on GitHub
  Categorical logic from a categorical point of view
  ☆81Oct 19, 2023Updated 2 years ago
• awodey / CatLogNotes

  View on GitHub
  Categorical Logic Notes
  ☆81Mar 3, 2022Updated 4 years ago
• JetBrains / arend-lib

  View on GitHub
  ☆86Feb 28, 2025Updated last year
• algorithmica-org / ru

  View on GitHub
  Sources for Russian articles on Algorithmica.org
  ☆93Mar 5, 2023Updated 2 years ago
• JetBrains / intellij-arend

  View on GitHub
  Arend plugin for IntelliJ IDEA
  ☆95Feb 26, 2025Updated last year
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆108Apr 21, 2023Updated 2 years ago
• s-nlp / transformers-course

  View on GitHub
  Materials of transformers lecture course
  ☆143Jan 26, 2026Updated last month
• schani / forthlisp

  View on GitHub
  A Small Lisp in Forth
  ☆159Apr 21, 2021Updated 4 years ago
• nosuchpersonn / golang_interview

  View on GitHub
  ☆156Jan 17, 2024Updated 2 years ago
• CPP-KT / cpp-notes

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

  View on GitHub
  A bootsector FORTH
  ☆154Mar 19, 2025Updated 11 months ago
• jagajaga / FP-Course-ITMO

  View on GitHub
  Slides and other materials for functional programming lectures ITMO university
  ☆625Jan 17, 2022Updated 4 years ago
• barry-jay-personal / tree-calculus

  View on GitHub
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Jun 12, 2021Updated 4 years ago
• HugoFara / lwt

  View on GitHub
  Learn languages by reading! A language learning app stemmed from Learning with Texts (LWT).
  ☆196Feb 13, 2026Updated 2 weeks ago
• gwaithimirdain / narya

  View on GitHub
  A proof assistant for higher-dimensional type theory
  ☆235Jan 26, 2026Updated last month
• rzk-lang / rzk

  View on GitHub
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆271Feb 8, 2026Updated 3 weeks ago