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

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

Close

sandwwraith / os2016-conspectView on GitHubMore

• External links
• Readme badge

Conspect for ITMO Operation System course (spring 2016)

☆19May 17, 2016Updated 9 years ago

Alternatives and similar repositories for os2016-conspect

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

• 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
• volhovm / study-notes

  View on GitHub
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Mar 29, 2019Updated 7 years ago
• shd / tt2018-conspect

  View on GitHub
  ☆13Jan 29, 2023Updated 3 years ago
• mbuzdalov / latex-styles

  View on GitHub
  LaTeX styles for different purposes.
  ☆110Apr 21, 2023Updated 2 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• nariman / ifmo-code

  View on GitHub
  Source code from classes at ITMO University
  ☆11Oct 26, 2021Updated 4 years ago
• SPbAU-Bach-2018 / Lectures

  View on GitHub
  ☆14Jun 5, 2019Updated 6 years ago
• bravit / tt-ghc-exercises

  View on GitHub
  ☆28Jun 3, 2018Updated 7 years ago
• tindarid / os-2019

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

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

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

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 years ago
• olonho / mathvm

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

  View on GitHub
  Choppy's Lazy Try-Close Monad
  ☆17Aug 25, 2020Updated 5 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• huntflow / tortik

  View on GitHub
  micro framework atop of python tornado
  ☆21Aug 25, 2025Updated 7 months ago
• twanvl / simple-reflect

  View on GitHub
  Simple reflection of expressions
  ☆34Jun 18, 2021Updated 4 years ago
• sztanko / solsticestreets

  View on GitHub
  A small project that shows all streets aligned towards the summer and winter solstice
  ☆18Apr 2, 2026Updated 2 weeks ago
• notpushkin / pyrract

  View on GitHub
  A React-esque library for Python
  ☆13Jan 13, 2018Updated 8 years ago
• avalur / ml_trainings_spbu

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

  View on GitHub
  The implementation of "The Kanerva Machine" with Pytorch and Pyro
  ☆12Jun 14, 2018Updated 7 years ago
• valis / DT2018

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

  View on GitHub
  Exploratory search engine based on hierarchical topic models from BigARTM
  ☆13Mar 8, 2022Updated 4 years ago
• JetBrains / fbme

  View on GitHub
  IDE for IEC 61499 built on top of JetBrains MPS
  ☆23Oct 23, 2025Updated 5 months ago
• Deploy open-source AI quickly and easily - Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• stxxl / foxxll

  View on GitHub
  FOundation of stXXl and thriLL
  ☆14Jan 24, 2024Updated 2 years ago
• microsoft / jackknife-variational-inference

  View on GitHub
  Demonstration of Jackknife Variational Inference for Variational Autoencoders, related to ICLR 2018 paper.
  ☆22Feb 21, 2018Updated 8 years ago
• ccorcos / datalog-prototype

  View on GitHub
  A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.
  ☆17Jul 15, 2020Updated 5 years ago
• sugakandrey / Functional-analysis

  View on GitHub
  ☆11Oct 9, 2016Updated 9 years ago
• kirelagin / django-orderedmodel

  View on GitHub
  Orderable models for Django
  ☆31Dec 30, 2014Updated 11 years ago
• kyldvs / ast-types-flow

  View on GitHub
  Flow types for the Javascript AST
  ☆16Apr 15, 2023Updated 3 years ago
• fizruk / snakes-demo

  View on GitHub
  Snakes game demo.
  ☆15Feb 14, 2017Updated 9 years ago
• NVIDIA-developer-blog / kubernetes-hyperparam-exp

  View on GitHub
  This repository contains code and config files that accompany the blog post:
  ☆16Aug 30, 2019Updated 6 years ago
• mzaradzki / neuralnets-semantics

  View on GitHub
  Word semantics Deep Learning with Vanilla Python, Keras, Theano, TensorFlow, PyTorch
  ☆14Apr 25, 2017Updated 8 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• agda-attic / agda-frp-ltl

  View on GitHub
  An implementation of Functional Reactive Programming
  ☆41Mar 2, 2015Updated 11 years ago
• ZmeiGorynych / generative_playground

  View on GitHub
  A collection of pytorch models and calibration types for generating discrete objects: equations, molecules, etc
  ☆11Jul 6, 2023Updated 2 years ago
• BudAlNik / turing-machine-visualizer

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

  View on GitHub
  Category Theory
  ☆19Oct 24, 2018Updated 7 years ago
• UnkindPartition / prover

  View on GitHub
  Simple lambda prover
  ☆24Jul 6, 2015Updated 10 years ago
• VArtem / lean-itmo

  View on GitHub
  ☆11Jun 4, 2021Updated 4 years ago
• shirasudon / go-chat

  View on GitHub
  Backend chat server based on the Websocket written by Go.
  ☆11Jan 22, 2018Updated 8 years ago