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 last year

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
• sandwwraith / os2016-conspect

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

  View on GitHub
  Materials & home works for IFMO'2018 logic course
  ☆26Oct 26, 2021Updated 4 years ago
• shd / tt2018

  View on GitHub
  ☆16Jan 23, 2021Updated 5 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
• sugakandrey / Functional-analysis

  View on GitHub
  ☆11Oct 9, 2016Updated 9 years ago
• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Mar 29, 2019Updated 6 years ago
• BudAlNik / turing-machine-visualizer

  View on GitHub
  Turing machine visualizer
  ☆22Feb 28, 2020Updated 6 years ago
• bravit / tt-ghc-exercises

  View on GitHub
  ☆28Jun 3, 2018Updated 7 years ago
• ArchiveLabs / bazam.org

  View on GitHub
  Bazam.org is Shazam for books! Find any book by context, keyword, or id
  ☆10Jan 28, 2021Updated 5 years ago
• notaustil / datapuller

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

  View on GitHub
  something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing
  ☆21Feb 21, 2026Updated last week
• rht / star.zulipchat.com

  View on GitHub
  Public realms found in *.zulipchat.com
  ☆11Nov 2, 2022Updated 3 years ago
• koo5 / koordinator2000

  View on GitHub
  crowd-defunding
  ☆10Feb 3, 2026Updated 3 weeks ago
• karlicoss / bleanser

  View on GitHub
  Tool for cleaning old and redundant backups
  ☆14Dec 26, 2025Updated 2 months 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
• olonho / mathvm

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

  View on GitHub
  ☆13Nov 25, 2022Updated 3 years ago
• alvarolorentedev / endomondo-unofficial-api

  View on GitHub
  unofficial endomondo api
  ☆12Feb 21, 2026Updated last week
• quantifiedbob / bob-body-composition-viz

  View on GitHub
  Jupyter Notebook vizualizing 10+ years of my body composition data
  ☆12Jun 27, 2020Updated 5 years ago
• techtim / optixVolumetric

  View on GitHub
  Nvidia OptiX Volumetric rendering test
  ☆19Jul 24, 2016Updated 9 years ago
• rida1148 / Hack-Casio-Calculator

  View on GitHub
  Hacking a fx-991MS solar panel space to place a 0.91" inch OLED and a esp8266-12E, which is integrated to firebase to fetch text file and…
  ☆11May 8, 2020Updated 5 years ago
• mxswd / webcloud

  View on GitHub
  Turn an optparse-applicative program into a CGI program!
  ☆35Feb 19, 2020Updated 6 years ago
• AlekseyBuzmakov / NRU-HSE-Perm-LatexTemplate

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

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

  View on GitHub
  Emulation system for routing algorithms, particularly for DQN routing
  ☆12Aug 31, 2022Updated 3 years ago
• hzxie / Multiplex-Socket

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

  View on GitHub
  📈 All data from my life — location, health, work, play, and more — open sourced
  ☆14Jul 5, 2022Updated 3 years ago
• calpaterson / pyappcache

  View on GitHub
  A library for application-level caching
  ☆21Apr 5, 2024Updated last year
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆108Apr 21, 2023Updated 2 years ago
• parilo / rl-server

  View on GitHub
  Reinforcement Learning Server
  ☆13May 20, 2018Updated 7 years ago
• dit4c / dockerfile-gotty

  View on GitHub
  GoTTY Docker image
  ☆13Sep 30, 2016Updated 9 years ago
• nickmvincent / DataLeverageRoundup

  View on GitHub
  A roundup of:
  ☆22Jun 26, 2022Updated 3 years ago
• qdot / org-gitbook

  View on GitHub
  Emacs package to make exporting org-mode files to gitbook easier
  ☆11Jun 7, 2017Updated 8 years ago
• aindilis / mealsolver

  View on GitHub
  Logic-based meal optimizer
  ☆16Aug 13, 2021Updated 4 years ago
• edwardsCam / i18nliner-kt

  View on GitHub
  I18n made simple - for Kotlin! (still in beta)
  ☆13Apr 16, 2018Updated 7 years ago
• Shemplo / Java-Streams-Etudes

  View on GitHub
  Check your knowledge of Java Streams API (edu project)
  ☆16Nov 27, 2020Updated 5 years ago
• tinyplasticgreyknight / template-turing

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