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
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 6 months ago
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 3 years ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆10Updated 4 years ago
• Rasie1 / c-of-x
  a programming language with composable refinements and inverse functions inference
  ☆10Updated 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.
  ☆293Updated 3 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆255Updated this week
• spell-music / csound-catalog
  A gallery of csound instruments
  ☆14Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆300Updated last year
• wkolowski / Typonomikon
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆12Updated last month
• music-suite / music-suite
  Music in Haskell
  ☆212Updated 3 years ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 7 months ago
• JakubGrobelny / University
  Stuff from university
  ☆10Updated 7 months ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆432Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• agda / cubical
  An experimental library for Cubical Agda
  ☆487Updated last week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 7 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆198Updated this week
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,120Updated this week
• ToposInstitute / poly
  ☆114Updated 10 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆352Updated 9 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated last week
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆228Updated 2 months ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 years ago
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆112Updated 11 months ago
• agda / agda-stdlib
  The Agda standard library
  ☆615Updated this week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year