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
  ☆27Updated 2 years ago
• przem85 / podstawy_sztucznej_inteligencji
  ☆13Updated 2 years ago
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆33Updated last week
• pddshk / GTK-Chess
  UCI chess engine GUI written in C
  ☆21Updated last year
• gronostajo / drill2
  Browser-based multiple choice test learning assistant
  ☆89Updated 6 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆13Updated last year
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆407Updated 3 weeks ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆270Updated 11 months ago
• geohot / fromthetransistor
  From the Transistor to the Web Browser, a rough outline for a 12 week course
  ☆6,364Updated 4 years ago
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,443Updated last month
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 7 months ago
• alexrutar / UWaterloo-Course-Notes
  Course notes for selected courses at the University of Waterloo
  ☆18Updated 3 years ago
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 6 years ago
• iiuni / poradnik
  poradnik studiowania
  ☆10Updated 2 years ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated last year
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆298Updated 4 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆645Updated 2 years ago
• ToposInstitute / poly
  ☆119Updated last year
• geohot / ai-notebooks
  Some ipython notebooks implementing AI algorithms
  ☆1,389Updated 5 months ago
• haskell-beginners-2022 / course-plan
  📜 Haskell course info, plan, video lectures, slides
  ☆1,485Updated 2 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆366Updated last year
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆488Updated 3 weeks ago
• mhorod / tcs-suffering
  Notes from subjects taught on TCS, JU
  ☆28Updated 2 weeks ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆308Updated last year
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆82Updated last week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 2 months ago
• urbanophile / awesome-sat-solvers
  A curated collection of resources for the Boolean Satisfiability Problem (SAT).
  ☆26Updated 9 months ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆17Updated 7 years ago