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
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated 5 months ago
• mff-cuni-cz / cuni-thesis-validator
  A Docker 🐳 container with CUNI.CZ PDF/A validation profile
  ☆13Updated 10 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆253Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• ToposInstitute / poly
  ☆114Updated 10 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆127Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated last month
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆105Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated this week
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆105Updated 3 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• molnsona / blossom
  Interactive dimensionality reduction for large datasets
  ☆20Updated last year
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 6 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 8 months ago
• agda / cornelis
  agda-mode for neovim
  ☆155Updated last week
• nomeata / loogle
  Mathlib search tool
  ☆86Updated last week
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 7 months ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆81Updated 7 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆78Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆224Updated 2 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 2 months ago