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.
  ☆22Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 2 months ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated last month
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆13Updated last month
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated last week
• jkremser / nahodny-slusny-cech
  Aplikace s prvky UD (umele debility).
  ☆130Updated 6 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆297Updated this week
• howard36 / probase
  An online math contest platform
  ☆22Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆227Updated 6 months ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,153Updated 3 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆344Updated last week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• loophp / combinator
  A curated list of combinators
  ☆123Updated this week
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆169Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆160Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆126Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• twanvl / snake
  Snake playing agents
  ☆83Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 9 months ago
• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆210Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated last month
• exyi / anyexec2C
  converts anything executable to C, C# or Python code
  ☆21Updated 3 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago