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
  ☆25Updated last year
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆9Updated 3 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆250Updated 4 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 10 months 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.
  ☆293Updated 3 years ago
• iiuni / poradnik
  poradnik studiowania
  ☆9Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated this week
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 6 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆218Updated 2 weeks ago
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆33Updated 2 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆475Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 5 months ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated 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
• snowleopard / alga
  Algebraic graphs
  ☆737Updated 10 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆92Updated this week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆204Updated 2 weeks ago
• m-wojnar / reinforced-lib
  Reinforcement learning library
  ☆63Updated 3 weeks ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆142Updated 4 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 2 weeks ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆865Updated 4 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆344Updated 6 months ago
• PrzeChoj / PierwszakNieZoltodziob
  ☆14Updated last month
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,105Updated last month
• 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
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week