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.
  ☆23Updated this week
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆13Updated 2 months ago
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated 2 weeks ago
• twanvl / snake
  Snake playing agents
  ☆84Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated 2 weeks ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 9 years ago
• BottleCapAI / NoCap-Test
  Open Test for BottleCapAI
  ☆127Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆97Updated 2 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆167Updated last year
• mwhea / Manifold_Trading_Bots
  ☆14Updated 2 years ago
• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆210Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆161Updated 5 months ago
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 3 years ago
• manifoldmarkets / manifold
  Manifold Markets: A market for every question
  ☆466Updated last week
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• ellisk42 / ec
  ☆542Updated 2 years ago
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 8 years ago
• revalo / iceberg
  A compositional diagramming and animation library as an eDSL in Python
  ☆217Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆154Updated 7 years ago
• ufal / npfl122
  NPFL122 repository
  ☆13Updated last year
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆572Updated 4 years ago
• electionscience / vse-sim
  Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.
  ☆59Updated 2 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆73Updated 2 weeks ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years 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.
  ☆301Updated last year