janchorowski / ml_uwrLinks
Materials for my Machine Learning course at University of Wroclaw
☆41Updated 4 years ago
Alternatives and similar repositories for ml_uwr
Users that are interested in ml_uwr are comparing it to the libraries listed below
Sorting:
- Materials for my Deep Learning and Neural Networks course at University of Wroclaw☆27Updated 2 years ago
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆33Updated last week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,410Updated 9 months ago
- List of resources for learning Category Theory☆278Updated last year
- List of papers studying machine learning through the lens of category theory☆1,480Updated last month
- Resources for learning Category Theory for an enthusiast☆660Updated 2 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆15Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated last year
- The collected works of F. W. Lawvere☆371Updated last year
- HoTTEST Summer School materials☆322Updated 7 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆485Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆791Updated 3 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- The Dao of Functional Programming☆500Updated last week
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆58Updated 8 years ago
- An introduction to programming language theory in Agda☆1,487Updated last week
- The Arend Proof Assistant☆736Updated 11 months ago
- Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY☆36Updated last month
- The Agda standard library☆642Updated this week
- Mirror of Software Foundations in PDF☆304Updated 5 years ago
- ☆60Updated 2 weeks ago
- ☆434Updated 3 years ago
- An introductory course to Homotopy Type Theory☆375Updated 5 years ago
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆44Updated 3 years ago
- The agda-unimath library☆283Updated 2 weeks ago
- Development of homotopy type theory in Agda☆431Updated 6 years ago
- UCI chess engine GUI written in C☆21Updated 2 years ago
- Haskell MOOC University of Helsinki☆438Updated 2 weeks ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,280Updated last week
- Public repository for HPPS 2022☆21Updated 3 years ago