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 last month
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,639Updated 9 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆228Updated 9 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆173Updated 2 weeks ago
• loophp / combinator
  A curated list of combinators
  ☆122Updated last week
• 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.
  ☆166Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆271Updated 11 months ago
• howard36 / probase
  An online math contest platform
  ☆22Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆158Updated 3 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆211Updated 2 years ago
• ellisk42 / ec
  ☆536Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆125Updated last year
• ccz181078 / Coq-BB5
  ☆345Updated last month
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 6 months ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆292Updated last week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 8 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆141Updated 5 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆313Updated last year
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆521Updated 2 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 2 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year