Alternatives and similar repositories for better-mff-thesis

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

• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆53Updated this week
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated 2 weeks ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆175Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆458Updated 7 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 6 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated last month
• ekmett / ad
  Automatic Differentiation
  ☆388Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆418Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆30Updated 7 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆261Updated 2 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 4 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆173Updated 3 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 2 weeks ago
• noinia / hgeometry
  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…
  ☆128Updated last week
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆50Updated 3 weeks ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆371Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 3 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 6 months ago
• nomeata / loogle
  Mathlib search tool
  ☆118Updated last month