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
  ☆309Updated 2 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆164Updated 3 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 3 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆423Updated 2 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆40Updated this week
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 7 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated last week
• agda / cornelis
  agda-mode for neovim
  ☆162Updated 2 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated this week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆359Updated 11 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆244Updated 4 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 3 weeks ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 3 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆388Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 2 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆561Updated this week
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆667Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated last year
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆435Updated this week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 5 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last month
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 10 months ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated 2 months ago