Alternatives and similar repositories for better-mff-thesis

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

• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆437Updated 5 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆274Updated this week
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆99Updated 3 months ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated 3 weeks ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 4 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆49Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆317Updated 5 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆436Updated last week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• glguy / advent
  Advent of Code complete solution archive and common library
  ☆46Updated 3 weeks ago
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆88Updated 10 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆84Updated 2 years ago
• ToposInstitute / poly
  ☆119Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆112Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆278Updated 2 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆681Updated this week
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 3 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆252Updated 3 weeks ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 5 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated last week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆179Updated last month
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 9 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year