petrroll / mff-stuff

Related projects ⓘ

Alternatives and complementary repositories for mff-stuff

• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆29Updated 6 months ago
• kasiopea-org / pisek
  Tool for developing tasks for programming competitions.
  ☆14Updated this week
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆9Updated 4 months ago
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated 2 weeks ago
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 7 years ago
• ufal / npfl122
  NPFL122 repository
  ☆13Updated 10 months ago
• martinpilat / CImethods
  Teaching materials for the seminar on Application of Computational Intelligence Methods
  ☆12Updated last week
• 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
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆105Updated 2 weeks ago
• Meziklassociation / meziklasi
  The source code to meziklasi.cz website.
  ☆16Updated 3 weeks ago
• mff-cuni-cz / cuni-thesis-validator
  A Docker 🐳 container with CUNI.CZ PDF/A validation profile
  ☆12Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆102Updated 5 months ago
• fit-ctu-discord / honza-botner
  Bot for FIT CTU Discord
  ☆15Updated this week
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 2 weeks ago
• vituscze / norri
  ☆9Updated last year
• antoninkriz / CTU-TimeTable-Generator
  Generate the best possible time table and schedule for your next semester
  ☆15Updated this week
• kmigel / kofola-ve-sleve
  ☆14Updated last year
• Will-Howard / manifolio
  Bet sizing tool for manifold markets
  ☆16Updated last year
• xiaoxiae / slama.dev
  The source code to my personal website.
  ☆26Updated this week
• PetarMihalj / AGT
  A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my …
  ☆9Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆158Updated last week
• josefdolezal / fit-cvut
  Zdrojove kody a materialy vytvorene behem studia na @FIT_CTU.
  ☆26Updated 5 years ago
• antoninkriz / CTU-TimeTableGenerator-new
  Generates the best possible time table for a user
  ☆13Updated last year
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆862Updated 4 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆196Updated 2 weeks ago
• xiaoxiae / Maturita-CZ
  Zpracování maturitních otázek k maturitě z češtiny 2018-19.
  ☆13Updated 5 months ago
• wo / tpg
  Tree Proof Generator
  ☆156Updated 3 weeks ago
• howard36 / probase
  An online math contest platform
  ☆17Updated last week
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆15Updated 2 months ago