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
  ☆25Updated last year
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated this week
• wesolyfoton / aisd-skrypt
  Skrypt do przedmiotu "Algorytmy i Struktury Danych"
  ☆14Updated 5 years ago
• MarcinCiura / O-dobrym-programowaniu-w-Pythonie
  O dobrym programowaniu w Pythonie
  ☆18Updated last month
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆293Updated 3 years ago
• gronostajo / drill2
  Browser-based multiple choice test learning assistant
  ☆86Updated 2 years ago
• hjaremko / baca-cli
  CLI client for the Jagiellonian University's BaCa online judge
  ☆20Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• kawu / concraft-pl
  A morphosyntactic tagger for Polish based on conditional random fields
  ☆20Updated 3 years ago
• nurkiewicz / polski-w-it
  Słowniczek angielsko-polski w IT
  ☆489Updated this week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,139Updated 2 weeks ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated 10 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• krzksz / historia-pojazdu
  A small script for fetching Polish vehicle information without knowing exact first registration date.",
  ☆32Updated 6 years ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆133Updated this week
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆245Updated 2 months ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆9Updated 3 years ago
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆891Updated 2 years ago
• SteelPh0enix / KursCPP
  Wszystkie kawałki kodu oraz ćwiczenia, jakie pojawią się w moim kursie
  ☆72Updated last year
• ToposInstitute / poly
  ☆114Updated 7 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 4 months ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆864Updated 3 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆645Updated last year
• wkolowski / Typonomikon
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆11Updated this week
• mdymek / BD_Notatki
  ☆27Updated 3 years ago
• apohllo / sztuczna-inteligencja
  Repozytorium z zadaniami z podstaw sztucznej inteligencji
  ☆43Updated last month
• Euterpea / Euterpea2
  Euterpea version 2
  ☆225Updated 6 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆141Updated 4 years ago