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
- Haskell library for building declarative animations based on SVG graphics☆1,169Updated 10 months ago
- List of resources for learning Category Theory☆272Updated last year
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆299Updated 4 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆15Updated last year
- List of papers studying machine learning through the lens of category theory☆1,454Updated this week
- UCI chess engine GUI written in C☆21Updated 2 years ago
- Challenges from Category Theory for Programmers☆127Updated last year
- A collection of awesome mathematics and computer science courses☆137Updated 11 months ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,280Updated 11 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- The Dao of Functional Programming☆494Updated 2 weeks ago
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆30Updated 2 weeks ago
- The collected works of F. W. Lawvere☆368Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆241Updated 8 months ago
- A very simple chess engine written in Haskell (work in progress).☆18Updated 7 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- Haskell MOOC University of Helsinki☆422Updated last month
- A new Categories library for Agda☆391Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,395Updated 7 months ago
- A framework for applied category theory in the Julia language☆686Updated last week
- Synthèses et travaux pour l'EPL☆101Updated 6 months ago
- A slightly improved variant of the official thesis sample☆31Updated 3 months ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 7 years ago
- Resources for learning Category Theory for an enthusiast☆653Updated 2 years ago
- Source code for the nLab☆193Updated 9 months ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- papers of Per Martin Löf☆807Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆321Updated last year