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

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

Close

shd / logic2011View on GitHubMore

• External links
• Readme badge

☆16Mar 6, 2024Updated 2 years ago

Alternatives and similar repositories for logic2011

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

• artemohanjanyan / tt-conspect

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

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

  View on GitHub
  Conspect for ITMO Operation System course (spring 2016)
  ☆19May 17, 2016Updated 9 years ago
• shd / tt2018

  View on GitHub
  ☆16Jan 23, 2021Updated 5 years ago
• sugakandrey / Functional-analysis

  View on GitHub
  ☆11Oct 9, 2016Updated 9 years ago
• shd / tt2018-conspect

  View on GitHub
  ☆13Jan 29, 2023Updated 3 years ago
• CT-18 / cg

  View on GitHub
  computational geometry notes
  ☆16Jul 6, 2023Updated 2 years ago
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 6 years ago
• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Mar 29, 2019Updated 6 years ago
• Shemplo / Java-Streams-Etudes

  View on GitHub
  Check your knowledge of Java Streams API (edu project)
  ☆16Nov 27, 2020Updated 5 years ago
• MattGerard / Twitch-Extension-Boilerplate-VueJS

  View on GitHub
  The Start of a Twitch Extension Boilerplate using VueJS for the front-end Iframe, and Express for the EBS Auth.
  ☆10Sep 14, 2017Updated 8 years ago
• bravit / tt-ghc-exercises

  View on GitHub
  ☆28Jun 3, 2018Updated 7 years ago
• techtim / optixVolumetric

  View on GitHub
  Nvidia OptiX Volumetric rendering test
  ☆19Jul 24, 2016Updated 9 years ago
• edwardsCam / i18nliner-kt

  View on GitHub
  I18n made simple - for Kotlin! (still in beta)
  ☆13Apr 16, 2018Updated 7 years ago
• parilo / rl-server

  View on GitHub
  Reinforcement Learning Server
  ☆13May 20, 2018Updated 7 years ago
• mxswd / webcloud

  View on GitHub
  Turn an optparse-applicative program into a CGI program!
  ☆35Feb 19, 2020Updated 6 years ago
• hzxie / Multiplex-Socket

  View on GitHub
  A TCP and UDP multiplex service using select.
  ☆12Aug 28, 2016Updated 9 years ago
• sirlensalot / tatterdemalion

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 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
• tomilov / sweepline

  View on GitHub
  Fortune's algorithm for Voronoi diagram generating on the plane. Intended for runtime speed and careful handling of corner cases.
  ☆20Sep 17, 2019Updated 6 years ago
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆108Apr 21, 2023Updated 2 years ago
• tinyplasticgreyknight / template-turing

  View on GitHub
  C++ Template Turing Machine
  ☆15Jun 7, 2018Updated 7 years ago
• purarue / exobrain

  View on GitHub
  something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing
  ☆21Updated this week
• maiermic / antlr4-javascript-examples

  View on GitHub
  Some examples of the ANTLR4 JavaScript target.
  ☆19Apr 25, 2016Updated 9 years ago
• karlicoss / bleanser

  View on GitHub
  Tool for cleaning old and redundant backups
  ☆14Dec 26, 2025Updated 2 months ago
• AlekseyBuzmakov / NRU-HSE-Perm-LatexTemplate

  View on GitHub
  A LaTeX template for HSE University
  ☆13Aug 10, 2023Updated 2 years ago
• olonho / mathvm

  View on GitHub
  Educational virtual machine
  ☆13Dec 20, 2018Updated 7 years ago
• choppythelumberjack / tryclose

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

  View on GitHub
  Emulation system for routing algorithms, particularly for DQN routing
  ☆12Aug 31, 2022Updated 3 years ago
• twanvl / simple-reflect

  View on GitHub
  Simple reflection of expressions
  ☆34Jun 18, 2021Updated 4 years ago
• nomeata / haskell-via-sokoban

  View on GitHub
  A haskell tutorial using CodeWorld
  ☆19Jan 5, 2025Updated last year
• nariman / ifmo-code

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

  View on GitHub
  A small project that shows all streets aligned towards the summer and winter solstice
  ☆18Updated this week
• janniks / awesome-personal-search-engines

  View on GitHub
  A Collection of Awesome Personal Search Engines and Related Projects
  ☆20Jan 10, 2023Updated 3 years ago
• notaustil / datapuller

  View on GitHub
  "Easy" data dump of your activity on various web services
  ☆14Dec 7, 2022Updated 3 years ago
• avalur / ml_trainings_spbu

  View on GitHub
  For notebooks, slides and other materials.
  ☆12Jul 31, 2020Updated 5 years ago
• koo5 / koordinator2000

  View on GitHub
  crowd-defunding
  ☆10Feb 3, 2026Updated last month
• lananovikova10 / howtoberlin

  View on GitHub
  ☆13Nov 25, 2022Updated 3 years ago
• valis / DT2018

  View on GitHub
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Dec 17, 2018Updated 7 years ago