janchorowski / ml_uwr
Materials for my Machine Learning course at University of Wroclaw
☆34Updated 3 years ago
Related projects: ⓘ
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆30Updated this week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 5 months ago
- A slightly improved variant of the official thesis sample☆27Updated 4 months ago
- Reinforcement learning library☆62Updated last month
- 2018-2021 mimuw by marcin abramowicz☆34Updated 2 years ago
- Solutions and other stuff from the university courses I attended.☆7Updated 3 years ago
- Skrypt do przedmiotu "Algorytmy i Struktury Danych"☆14Updated 5 years ago
- Challenges from Category Theory for Programmers☆116Updated 2 years ago
- Simple, interpreted, dynamically-typed programming language☆27Updated last year
- HoTTEST Summer School materials☆283Updated 11 months ago
- Natural language processing course thought at AGH University of Science and Technology☆46Updated 8 months ago
- ☆22Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆100Updated 3 months ago
- ☆35Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- EiTI Szablon MGR INŻ Autor: Piotr Woźniak☆46Updated 5 years ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆202Updated 3 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆124Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week
- The agda-unimath library☆218Updated last week
- Browser-based multiple choice test learning assistant☆82Updated 2 years ago
- Podlaskie aliasy dla gitowych komend☆683Updated 2 years ago
- A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]☆332Updated last week
- ☆107Updated 2 months ago
- ☆87Updated last month
- Tool for developing tasks for programming competitions.☆14Updated this week
- Equational laws for free☆247Updated 6 months ago
- ☆29Updated this week
- Resources for learning Category Theory for an enthusiast☆598Updated last year