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
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆85Updated 2 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆157Updated 2 months ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 8 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated this week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆122Updated 7 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆173Updated last week
• Naproche-SAD / Naproche-SAD
  ☆20Updated 4 years ago
• agda / cornelis
  agda-mode for neovim
  ☆148Updated this week
• fossas / haskell-static-alpine
  Statically linked distributions of GHC for building binaries in Docker.
  ☆16Updated 7 months ago
• nomeata / loogle
  Mathlib search tool
  ☆84Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆12Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆58Updated this week
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• mff-cuni-cz / cuni-thesis-validator
  A Docker 🐳 container with CUNI.CZ PDF/A validation profile
  ☆13Updated 8 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆101Updated 7 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• ToposInstitute / poly
  ☆113Updated 8 months ago