VArtem/lean-itmo 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

VArtem/lean-itmo

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/VArtem/lean-itmo)

Close

VArtem / lean-itmoView on GitHubMore

• External links
• Readme badge

☆11Jun 4, 2021Updated 4 years ago

Alternatives and similar repositories for lean-itmo

Users that are interested in lean-itmo are comparing it to the libraries listed below

• shd / logic2021

  View on GitHub
  ☆13Jun 10, 2021Updated 4 years ago
• UnitTestBot / usvm

  View on GitHub
  Universal Symbolic Virtual Machine
  ☆28Dec 10, 2025Updated 2 months ago
• nariman / ifmo-code

  View on GitHub
  Source code from classes at ITMO University
  ☆11Oct 26, 2021Updated 4 years ago
• sancho20021 / linal

  View on GitHub
  lecture notes
  ☆28Oct 19, 2021Updated 4 years ago
• ruHaskell-learn / lhx

  View on GitHub
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Feb 10, 2026Updated 3 weeks ago
• Codeforces / polygon-issue-tracking

  View on GitHub
  polygon-issue-tracking
  ☆16Jul 14, 2013Updated 12 years ago
• mbuzdalov / latex-styles

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

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

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

  View on GitHub
  FAQ по секте
  ☆14Feb 27, 2023Updated 3 years ago
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 6 years ago
• NelosG / fp-tests

  View on GitHub
  Haskell homework tests
  ☆31Feb 7, 2022Updated 4 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Mar 29, 2019Updated 6 years ago
• ssbr / refex

  View on GitHub
  A syntactically aware search-and-replace tool for Python.
  ☆15Jul 15, 2025Updated 7 months ago
• sunDalik / Playable

  View on GitHub
  This is literally playable
  ☆10Jan 4, 2021Updated 5 years ago
• dave11ar / seqlock-concurrent-hash-tables

  View on GitHub
  Diploma project: Integration of seqlock-based synchronization into open-addressed concurrent hash table algorithm
  ☆10Jun 13, 2023Updated 2 years ago
• johnvictorfs / dotfiles

  View on GitHub
  My personal linux dotfiles for zsh, i3-gaps, neovim and others
  ☆10Jul 27, 2025Updated 7 months ago
• leanprover-community / leancrawler

  View on GitHub
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Mar 20, 2024Updated last year
• PyBites-Open-Source / pybites-alarm

  View on GitHub
  ☆13Nov 2, 2021Updated 4 years ago
• alex-grandson / edu

  View on GitHub
  ☆10Jun 12, 2022Updated 3 years ago
• jrzkaminski / itmo-os-antispam-bot

  View on GitHub
  A simple implementation of anti-spam bot for itmo opensource chat
  ☆11Sep 29, 2025Updated 5 months ago
• asweigart / shelltut

  View on GitHub
  A tutorial system for learning the shell/command line. For Windows and macOS/Linux.
  ☆10Feb 7, 2021Updated 5 years ago
• chetanbhat / quantum-wordle

  View on GitHub
  Quantum Wordle
  ☆14Feb 7, 2025Updated last year
• flowroute / txjason

  View on GitHub
  jsonrpc 2.0 client/server library for Twisted
  ☆13Aug 31, 2018Updated 7 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• imartinezl / spain-roads

  View on GitHub
  Spain Roads Visualization 🛣️🚘
  ☆11Nov 26, 2019Updated 6 years ago
• dwrensha / math-puzzles-in-lean

  View on GitHub
  math puzzles from various sources, formalized in Lean
  ☆10Oct 21, 2023Updated 2 years ago
• Phinnik / slaves_api

  View on GitHub
  Обертка для мини-игры "рабы" на python
  ☆11Mar 31, 2021Updated 4 years ago
• cfbolz / minitrace

  View on GitHub
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Feb 10, 2026Updated 3 weeks ago
• Mimino666 / tc-marathoner

  View on GitHub
  Testing tool for TopCoder marathon matches.
  ☆15Sep 17, 2015Updated 10 years ago
• BastianBlokland / threaded-ecs-unity

  View on GitHub
  [Retired] Prototype idea for a multi-threaded ecs
  ☆14Mar 27, 2020Updated 5 years ago
• Kroneckera / bunkbed-counterexample

  View on GitHub
  ☆15Oct 1, 2024Updated last year
• Sumandora / bcrl

  View on GitHub
  The Binary Code Recognition Library for game hacking/modding and function reidentification for linux
  ☆13Jan 25, 2026Updated last month
• FFY00 / python-install

  View on GitHub
  A simple, correct PEP427 wheel installer
  ☆12Mar 30, 2021Updated 4 years ago
• 1000-plus / 1000-plus.github.io

  View on GitHub
  https://1000-plus.github.io/
  ☆22Feb 11, 2026Updated 3 weeks ago
• aimclub / FEDOT.LLM

  View on GitHub
  LLM-based prototype for nexgen AutoML
  ☆12Updated this week
• dkobak / covid-underdispersion

  View on GitHub
  Testing reported Covid-19 deaths and cases for Poisson underdispersion
  ☆12Apr 24, 2022Updated 3 years ago
• radujica / baloo

  View on GitHub
  The bare necessities of Pandas on the Weld runtime
  ☆14Dec 26, 2022Updated 3 years ago