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
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,424Updated last month
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆268Updated 9 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆396Updated 4 months ago
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated last week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,160Updated 7 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆362Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆384Updated 3 months ago
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆261Updated 9 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• XimeraProject / server
  ☆58Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• math-comp / math-comp
  Mathematical Components
  ☆649Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆306Updated last year
• thosgood / qubit.guide
  The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello
  ☆65Updated last month
• 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
• 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.
  ☆297Updated 3 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,350Updated 5 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆299Updated 9 months ago
• ivanperez-keera / Yampa
  Functional Reactive Programming domain-specific language for efficient hybrid systems
  ☆463Updated 6 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆146Updated 5 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆358Updated 11 months ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆673Updated 3 weeks ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆10Updated 4 years ago
• ToposInstitute / poly
  ☆118Updated last year
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆438Updated last week
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆229Updated 6 months ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated 10 months ago