Alternatives and similar repositories for mff-stuff

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

• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆19Updated last week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated last week
• ufal / npfl129
  NPFL129 repository
  ☆36Updated 7 months ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated this week
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated last week
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• ccz181078 / Coq-BB5
  ☆337Updated this week
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆163Updated last year
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated last week
• seznam / small-e-czech
  ☆57Updated 3 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆153Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated this week
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆725Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated this week
• rrthomas / hpmor
  PDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source
  ☆350Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• tkohout / OSTRAJava
  Bo neni cas pyco
  ☆943Updated 2 years ago
• mwhea / Manifold_Trading_Bots
  ☆14Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 4 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆147Updated 7 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆294Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated this week
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆12Updated 3 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆312Updated 10 months ago