Alternatives and similar repositories for ml_uwr

Users that are interested in ml_uwr are comparing it to the libraries listed below

• janchorowski / dl_uwr
  Materials for my Deep Learning and Neural Networks course at University of Wroclaw
  ☆26Updated 2 years ago
• wkolowski / Typonomikon
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆12Updated last month
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆385Updated 4 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆270Updated 10 months ago
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,432Updated 2 weeks ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,154Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆13Updated last year
• akaposi / ELTE-func-lang
  Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
  ☆35Updated this week
• manjunath5496 / 13-Best-Quantum-Field-Theory-Books-for-Beginners
  "Not only does God play dice but... he sometimes throws them where they cannot be seen." ― Stephen Hawking
  ☆52Updated 5 years ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated last month
• antontutoveanu / quantum-tic-tac-toe
  A 'quantum' version of tic tac toe that can be run on a quantum computer. Written in Python and Qiskit.
  ☆16Updated 4 years ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆17Updated 13 years ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆232Updated 7 months ago
• felsenhower / stine_calendar_bot
  Automatic calendar download bot for STiNE
  ☆10Updated last year
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated 11 months ago
• ImperialCollegeLondon / formalising-mathematics
  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
• ncatlab / nlab
  Source code for the nLab
  ☆188Updated 7 months ago
• pddshk / GTK-Chess
  UCI chess engine GUI written in C
  ☆21Updated last year
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,162Updated 8 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• awslabs / the-qubit-factory
  A puzzle/construction game about quantum computing.
  ☆30Updated 10 months ago
• thosgood / qubit.guide
  The online version of Introduction to Quantum Information Science by Artur Ekert, Tim Hosgood, Alastair Kay, and Chiara Macchiavello
  ☆65Updated 2 months ago
• markf94 / QML_Thesis
  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
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• marekpiotradamczyk / ml_uwr_23
  ☆10Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆313Updated 4 months ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆11Updated 4 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆389Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆654Updated this week