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.
  ☆20Updated last week
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated last week
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆196Updated last week
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated this week
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• earthspecies / project
  Roadmaps towards decoding non-human languages.
  ☆297Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆151Updated 7 years ago
• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆156Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆126Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆100Updated 2 months ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆174Updated 3 weeks ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆309Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 6 months ago
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 6 months ago
• manifoldmarkets / manifold
  Manifold Markets: A market for every question
  ☆448Updated this week
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 8 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• mame / radiation-hardened-quine
  A robust quine program that works even after any one character is deleted.
  ☆693Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• twanvl / snake
  Snake playing agents
  ☆81Updated 4 years ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆346Updated 7 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆295Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆300Updated last year