janchorowski / ml_uwrLinks
Materials for my Machine Learning course at University of Wroclaw
☆37Updated 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:
- ☆8Updated 4 years ago
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆31Updated this week
- 2018-2021 mimuw by marcin abramowicz☆34Updated 3 years ago
- List of resources for learning Category Theory☆262Updated 7 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Tool for developing tasks for programming competitions.☆16Updated this week
- Browser-based multiple choice test learning assistant☆89Updated 2 months ago
- A slightly improved variant of the official thesis sample☆30Updated last year
- Repositorio de la optativa para la FCEIA☆16Updated 3 months ago
- Haskell MOOC University of Helsinki☆381Updated 2 months ago
- Resources for learning Category Theory for an enthusiast☆629Updated 2 years ago
- Public repository for Advanced Programming☆59Updated 5 months ago
- ☆16Updated 5 months ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- Summaries of my university courses (in German)☆26Updated 5 years ago
- HoTTEST Summer School materials☆303Updated last month
- ☆314Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆382Updated last week
- An opinionated list of resources for learning Haskell☆911Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- Challenges from Category Theory for Programmers☆124Updated 8 months ago
- The Dao of Functional Programming☆463Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- ☆16Updated 2 years ago
- The collected works of F. W. Lawvere☆359Updated 10 months ago
- ☆17Updated last year
- A framework for applied category theory in the Julia language☆666Updated 2 weeks ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,063Updated 2 months ago
- ☆126Updated 11 months ago
- Algebraic graphs☆741Updated this week