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.
  ☆16Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 10 months ago
• Eugleo / java-exam-prep
  Přípravný materiál na zkoušku z Javy
  ☆11Updated 2 months ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆28Updated last week
• ufal / npfl129
  NPFL129 repository
  ☆37Updated last month
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated 3 months ago
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 7 years ago
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated this week
• xiaoxiae / AnkiMFF
  Kolekce Anki balíčků k různým předmětům na MFF (informatika).
  ☆13Updated last year
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆11Updated last week
• ufal / npfl122
  NPFL122 repository
  ☆13Updated last year
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆120Updated 4 months ago
• xiaoxiae / Maturita-CZ
  Zpracování maturitních otázek k maturitě z češtiny 2018-19.
  ☆13Updated 10 months ago
• illagrenan / MI-SPI_sourhn
  **(deprecated)** 2017 tento dokument už nedostává podporu, svoje usílí jsem přesunul k lepšímu a úžasnějšímu přehledu na https://github.c…
  ☆10Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆152Updated this week
• antoninkriz / CTU-TimeTableGenerator-new
  Generates the best possible time table for a user
  ☆13Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆16Updated 2 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆311Updated last year
• sdatko / zaskroniec
  The Python programming language, but with Polish flavor
  ☆18Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆250Updated last week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆275Updated this week
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 3 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆125Updated 6 years ago
• jkremser / nahodny-slusny-cech
  Aplikace s prvky UD (umele debility).
  ☆130Updated 5 years ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆71Updated 2 years ago
• piantado / Fleet
  ☆61Updated 3 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆50Updated 4 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week