janchorowski / ml_uwrLinks
Materials for my Machine Learning course at University of Wroclaw
☆38Updated 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☆26Updated 2 years ago
- Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.☆12Updated last month
- The Python toolkit for computing with string diagrams.☆385Updated 4 months ago
- List of resources for learning Category Theory☆270Updated 10 months ago
- List of papers studying machine learning through the lens of category theory☆1,432Updated 2 weeks ago
- Tensors and neural networks in Haskell☆1,154Updated last week
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY☆35Updated this week
- "Not only does God play dice but... he sometimes throws them where they cannot be seen." ― Stephen Hawking☆52Updated 5 years ago
- A slightly improved variant of the official thesis sample☆31Updated last month
- A 'quantum' version of tic tac toe that can be run on a quantum computer. Written in Python and Qiskit.☆16Updated 4 years ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆17Updated 13 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆232Updated 7 months ago
- Automatic calendar download bot for STiNE☆10Updated last year
- Challenges from Category Theory for Programmers☆127Updated 11 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆310Updated last year
- Source code for the nLab☆188Updated 7 months ago
- UCI chess engine GUI written in C☆21Updated last year
- Haskell library for building declarative animations based on SVG graphics☆1,162Updated 8 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- A puzzle/construction game about quantum computing.☆30Updated 10 months ago
- The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello☆65Updated 2 months ago
- All files for research proposal and bachelor thesis on Quantum Machine Learning at the University of KwaZulu-Natal in Durban, South Afric…☆116Updated 8 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- ☆10Updated last year
- HoTTEST Summer School materials☆313Updated 4 months ago
- Solutions and other stuff from the university courses I attended.☆11Updated 4 years ago
- A new Categories library for Agda☆389Updated last week
- Grammatical Framework core: compiler, shell & runtimes☆142Updated this week
- Mathematical Components☆654Updated this week