Alternatives and similar repositories for better-mff-thesis

Users that are interested in better-mff-thesis are comparing it to the libraries listed below

• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 5 months ago
• vituscze / norri
  ☆9Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated 3 weeks ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆159Updated last month
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated 3 weeks ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 8 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆200Updated last week
• UniMath / agda-unimath
  The agda-unimath library
  ☆257Updated this week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆257Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• lazamar / haskell-docs-cli
  Browse Hackage from the terminal
  ☆98Updated 6 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆236Updated 3 months ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• neugierde / cantors-attic
  Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…
  ☆31Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆229Updated last year
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆189Updated 3 weeks ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• glguy / advent
  Advent of Code complete solution archive and common library
  ☆45Updated 5 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆156Updated 2 months ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago