Alternatives and similar repositories for Kursy-UWr

Users that are interested in Kursy-UWr are comparing it to the libraries listed below

• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• Rattlehead15 / Correlativas
  Árbol de Correlativas de LCC
  ☆10Updated 3 years ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 9 months ago
• Valentinusz / elte-ik-bsc
  ELTE IK tananyagok
  ☆130Updated 2 years ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 4 months ago
• HolyBlackCat / cpp-tutorials
  ☆31Updated last month
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆33Updated 2 weeks ago
• akaposi / ELTE-func-lang
  Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
  ☆36Updated 2 weeks ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• mbg / cs310
  Templates and generic advice for CS310 etc.
  ☆41Updated 3 weeks ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆139Updated last year
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆88Updated last year
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆32Updated 4 years ago
• ArturB / WUT-Thesis
  LaTeX template for engineer and master thesis for Warsaw University of Technology.
  ☆232Updated 2 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• MikolajKolek / toster
  A simple-as-toast tester for C++ solutions to competitive programming exercises
  ☆34Updated 7 months ago
• wernexnrs / MATURA-INFORMATYKA
  Algorytmy wymienione w wymaganiach, ze wcześniejszych lat i dodatkowe, teoria. PYTHON, C++, PASCAL, ACCESS, EXCEL.
  ☆193Updated 3 months ago
• janchorowski / ml_uwr
  Materials for my Machine Learning course at University of Wroclaw
  ☆41Updated 4 years ago
• Mzk-Levi / texts
  ☆168Updated 10 years ago
• vivaansinghvi07 / dreamberd-interpreter
  Interpreter for the perfect programming language
  ☆405Updated last year
• DigiPen-Faculty / CProcessing
  ☆30Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• jwshii / etna
  ☆11Updated 7 months ago
• TCCPP / wiki
  tccpp.wiki website
  ☆24Updated 3 weeks ago
• misprit7 / computerraria
  A fully compliant RISC-V computer made inside the game Terraria
  ☆3,741Updated 9 months ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• UniMath / agda-unimath
  The agda-unimath library
  ☆279Updated last week