Alternatives and similar repositories for better-mff-thesis

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

• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆360Updated 11 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated last week
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 7 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 2 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆164Updated last month
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆98Updated 3 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 10 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆47Updated this week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 weeks ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆247Updated 2 weeks ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆109Updated 3 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆393Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆426Updated 2 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆190Updated last month
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 3 months ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆670Updated last week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 3 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆267Updated last week
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last month
• b-mehta / topos
  Topos theory in lean
  ☆63Updated 4 years ago