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 3 weeks ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆30Updated last year
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆24Updated 6 months ago
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 8 years ago
• devnull-cz / c-prog-lang
  Programming in the C language course materials
  ☆11Updated 2 weeks ago
• ufal / npfl122
  NPFL122 repository
  ☆13Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated 3 weeks ago
• machine-intelligence / provability
  ☆37Updated 9 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆377Updated 3 months ago
• neugierde / cantors-attic
  Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…
  ☆31Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• vituscze / norri
  ☆9Updated last year
• xiaoxiae / slama.dev
  The source code to my personal website.
  ☆28Updated 2 weeks ago
• VArtem / lean-itmo
  ☆11Updated 4 years ago
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 9 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• paralogical / rarest-move-in-chess
  Analyze compressed chess pgn files to determine the rarest move
  ☆303Updated 8 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆236Updated 3 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆309Updated 2 months ago
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆162Updated last year
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆151Updated last week
• piantado / Fleet
  ☆61Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆141Updated 2 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• fossas / haskell-static-alpine
  Statically linked distributions of GHC for building binaries in Docker.
  ☆16Updated 2 months ago