shd/tt2018-conspect 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/tt2018-conspect

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/tt2018-conspect)

Close

shd / tt2018-conspectView on GitHubMore

• External links
• Readme badge

☆13Jan 29, 2023Updated 3 years ago

Alternatives and similar repositories for tt2018-conspect

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

• shd / tt2018

  View on GitHub
  ☆16Jan 23, 2021Updated 5 years ago
• shd / logic2018

  View on GitHub
  Materials & home works for IFMO'2018 logic course
  ☆25Oct 26, 2021Updated 4 years ago
• artemohanjanyan / tt-conspect

  View on GitHub
  Notes for type theory course
  ☆21Jan 11, 2019Updated 7 years ago
• shd / logic2011

  View on GitHub
  ☆16Mar 6, 2024Updated 2 years ago
• sandwwraith / os2016-conspect

  View on GitHub
  Conspect for ITMO Operation System course (spring 2016)
  ☆19May 17, 2016Updated 9 years ago
• sirgal / compile-time-game-of-life

  View on GitHub
  True GoL using only metaprogramming in C++
  ☆62May 10, 2015Updated 10 years ago
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 6 years ago
• microsoft / vscode-cdp-proxy

  View on GitHub
  Sample Chrome Debug Protocol proxy used to extend vscode-js-debug
  ☆14Feb 28, 2026Updated 3 weeks ago
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆108Apr 21, 2023Updated 2 years ago
• secure-software-engineering / SPDS-experiments

  View on GitHub
  ☆11Oct 10, 2018Updated 7 years ago
• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Mar 29, 2019Updated 6 years ago
• volodeyka / trust-coq

  View on GitHub
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Nov 16, 2021Updated 4 years ago
• fsfe / reuse-example

  View on GitHub
  An example repository to understand the basics of REUSE
  ☆13Apr 28, 2024Updated last year
• JetBrains / intellij-bazel

  View on GitHub
  ☆13Aug 5, 2024Updated last year
• maiermic / antlr4-javascript-examples

  View on GitHub
  Some examples of the ANTLR4 JavaScript target.
  ☆19Apr 25, 2016Updated 9 years ago
• true-grue / python-dsls

  View on GitHub
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Dec 30, 2023Updated 2 years ago
• AlekseyBuzmakov / NRU-HSE-Perm-LatexTemplate

  View on GitHub
  A LaTeX template for HSE University
  ☆13Aug 10, 2023Updated 2 years ago
• VArtem / lean-itmo

  View on GitHub
  ☆11Jun 4, 2021Updated 4 years ago
• choppythelumberjack / tryclose

  View on GitHub
  Choppy's Lazy Try-Close Monad
  ☆17Aug 25, 2020Updated 5 years ago
• PythonCHB / close_pep

  View on GitHub
  documentation and code for a Python PEP about an appoximate equal check for Python
  ☆17Jun 29, 2015Updated 10 years ago
• jagajaga / FP-Course-ITMO

  View on GitHub
  Slides and other materials for functional programming lectures ITMO university
  ☆625Jan 17, 2022Updated 4 years ago
• CT-18 / cg

  View on GitHub
  computational geometry notes
  ☆16Jul 6, 2023Updated 2 years ago
• vrom911 / vrom911.github.io

  View on GitHub
  My personal website
  ☆12Oct 10, 2025Updated 5 months ago
• nariman / ifmo-code

  View on GitHub
  Source code from classes at ITMO University
  ☆11Oct 26, 2021Updated 4 years ago
• requarks / wiki-site-v2

  View on GitHub
  Website for Wiki.js v2
  ☆17Feb 26, 2026Updated 3 weeks ago
• softwaremill / neme-plugin

  View on GitHub
  Scala compiler plugin for turning non exhaustive match warnings into errors
  ☆29Dec 22, 2022Updated 3 years ago
• ZanjeerPlatform / csmt

  View on GitHub
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆39Nov 13, 2018Updated 7 years ago
• devexperts / dlcheck

  View on GitHub
  Potential deadlocks checker
  ☆89Feb 1, 2019Updated 7 years ago
• int-index / caps

  View on GitHub
  Monadic capabilities with late binding
  ☆29Oct 30, 2023Updated 2 years ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• shd / logic2021

  View on GitHub
  ☆13Jun 10, 2021Updated 4 years ago
• ydb-platform / ydb-jdbc-driver

  View on GitHub
  YDB JDBC Driver
  ☆24Feb 26, 2026Updated 3 weeks ago
• tindarid / os-2019

  View on GitHub
  "Операционные системы", ИТМО, весна 2019
  ☆16Jun 7, 2019Updated 6 years ago
• davidfstr / idris-insertion-sort

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

  View on GitHub
  Simple Android App displaying all the various Android Interpolators
  ☆20Feb 14, 2017Updated 9 years ago
• hedayati / hodor

  View on GitHub
  Hodor-PKU
  ☆26Sep 14, 2021Updated 4 years ago
• rust-lang-ru / rust-by-example-ru

  View on GitHub
  Изучаем язык программирования Rust на примерах
  ☆38Nov 26, 2019Updated 6 years ago
• mbork / org-toggl

  View on GitHub
  A simple Org-mode interface to Toggl
  ☆33Jun 21, 2023Updated 2 years ago
• kowainik / kowainik.github.io

  View on GitHub
  🎂 Kowainik web page
  ☆31Sep 4, 2023Updated 2 years ago