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
- Lecture notes for the Type Systems course given in Autumn 2023☆15Updated last year
- List of resources for learning Category Theory☆274Updated last year
- A framework for applied category theory in the Julia language☆689Updated last week
- UCI chess engine GUI written in C☆21Updated 2 years ago
- A morphosyntactic tagger for Polish based on conditional random fields☆21Updated 4 years ago
- Haskell MOOC University of Helsinki☆430Updated 2 months ago
- HoTTEST Summer School materials☆320Updated 7 months ago
- A slightly improved variant of the official thesis sample☆31Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.☆44Updated 3 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆412Updated this week
- Visual Studio Code extension for Coq☆428Updated last month
- The collected works of F. W. Lawvere☆370Updated last year
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆298Updated 4 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆242Updated 9 months ago
- ☆125Updated last year
- A new Categories library for Agda☆392Updated last week
- An introduction to programming language theory in Agda☆1,479Updated 2 weeks ago
- Accelerated machine learning with dependent types☆101Updated last week
- Mathematical Components☆663Updated 2 weeks ago
- Spletna storitev za generiranje nalog☆18Updated 2 years ago
- The Agda standard library☆642Updated this week
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 4 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆484Updated 3 weeks ago
- An experimental library for Cubical Agda☆525Updated last week
- List of papers studying machine learning through the lens of category theory☆1,467Updated 3 weeks ago
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- The GAP package Semigroups☆27Updated 2 weeks ago
- ☆23Updated last month