Alternatives and similar repositories for ml_uwr

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

• janchorowski / dl_uwr
  Materials for my Deep Learning and Neural Networks course at University of Wroclaw
  ☆26Updated last year
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated this week
• pddshk / GTK-Chess
  UCI chess engine GUI written in C. The project is in active development and is not ready to use yet
  ☆20Updated last year
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 2 years ago
• wesolyfoton / aisd-skrypt
  Skrypt do przedmiotu "Algorytmy i Struktury Danych"
  ☆14Updated 5 years ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated last year
• iiuni / poradnik
  poradnik studiowania
  ☆9Updated last year
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆9Updated 3 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆368Updated this week
• jessicalally / hello-world
  ☆9Updated 5 years ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• polaksta / LaTeX
  My LaTeX classes and packages
  ☆20Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆299Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 6 months ago
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆787Updated last year
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• marekpiotradamczyk / ml_uwr_23
  ☆9Updated last year
• agda / cubical
  An experimental library for Cubical Agda
  ☆482Updated last week
• sio2project / oioioi
  ☆174Updated this week
• jagajaga / FP-Course-ITMO
  Slides and other materials for functional programming lectures ITMO university
  ☆619Updated 3 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆127Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆380Updated this week
• haskell / ghcide
  A library for building Haskell IDE tooling
  ☆578Updated 4 years ago
• snowleopard / alga
  Algebraic graphs
  ☆738Updated 11 months ago
• tugraz-isds / datasets
  ☆16Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆456Updated 4 years ago
• JakubGrobelny / University
  Stuff from university
  ☆10Updated 7 months ago