Alternatives and similar repositories for better-mff-thesis

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

• vituscze / norri
  ☆9Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆303Updated last month
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 2 months ago
• TRCYX / py_monad_do
  Do notation in Python.
  ☆9Updated 4 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• noinia / hgeometry
  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…
  ☆124Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆259Updated 3 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 3 months ago
• ekmett / ad
  Automatic Differentiation
  ☆382Updated 4 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆359Updated 10 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆242Updated 4 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 4 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆382Updated this week
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆159Updated 2 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last week
• ToposInstitute / poly
  ☆117Updated last year
• probcomp / haskell-trace-types
  Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
  ☆10Updated 5 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 6 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 4 months ago