Alternatives and similar repositories for mff-stuff:

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

• kasiopea-org / 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 8 months ago
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated last month
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆10Updated this week
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 7 years ago
• xiaoxiae / slama.dev
  The source code to my personal website.
  ☆28Updated 2 weeks ago
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆115Updated last month
• xiaoxiae / Maturita-CZ
  Zpracování maturitních otázek k maturitě z češtiny 2018-19.
  ☆13Updated 8 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆41Updated 2 weeks ago
• kmigel / kofola-ve-sleve
  ☆14Updated last year
• bakkot / dfa-lib
  JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
  ☆19Updated 2 years ago
• mspi21 / kos-timetable-mod
  KOS schedule mod that customises your schedule in various ways, including renaming your courses, changing colours, adding new events, sty…
  ☆11Updated last year
• exyi / anyexec2C
  converts anything executable to C, C# or Python code
  ☆19Updated 2 years ago
• MI-AFP / tutorials
  Materials for MI-AFP course tutorials
  ☆12Updated 9 months ago
• OlimpiadaAI / I-OlimpiadaAI
  ☆109Updated 5 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆295Updated 10 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆107Updated last year
• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆211Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆170Updated last month
• shamith09 / pygyat
  Python with rizz.
  ☆1,170Updated 2 weeks ago
• janchaloupka / web-scraper-nabidek-pronajmu
  Nástroj pro hlídání nových nabídek nemovitostí na populárních realitních serverech. Nabídky jsou vypisovány do Discord roomky.
  ☆50Updated 10 months ago
• bartbussmann / lesswrong_ebook_library
  LessWrong Ebook Library
  ☆30Updated last year
• vituscze / norri
  ☆9Updated last year
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆872Updated 4 years 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 7 years ago
• msvincognito / survivingdke
  A survival guide to the Department of Advanced Computing Sciences at Maastricht University
  ☆11Updated 2 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆281Updated this week
• IDA-CTU / QQH2024
  Qminers Quant Hackaton 2024
  ☆10Updated 2 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 3 weeks ago
• paralogical / rarest-move-in-chess
  Analyze compressed chess pgn files to determine the rarest move
  ☆281Updated 3 months ago