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
• ithrasil / AiSD
  ☆8Updated 4 years ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆10Updated 4 years ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• iiuni / poradnik
  poradnik studiowania
  ☆9Updated last year
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆30Updated last year
• aghbit / Algorytmy-Geometryczne
  ☆6Updated last year
• pddshk / GTK-Chess
  UCI chess engine GUI written in C
  ☆21Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆258Updated 7 months ago
• wkolowski / Typonomikon
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆12Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• ncatlab / nlab
  Source code for the nLab
  ☆177Updated 3 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,161Updated 4 months ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated this week
• 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
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,435Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆629Updated last week
• UniMath / agda-unimath
  The agda-unimath library
  ☆257Updated this week
• pvorb / learn-you-a-haskell
  “Learn You a Haskell for Great Good!” by Miran Lipovača
  ☆306Updated 2 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆614Updated this week
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 5 months ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆491Updated this week
• madjestic / Haskell-OpenGL-Tutorial
  an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO
  ☆156Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 4 years ago