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 last week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 5 months ago
• manifoldmarkets / manifold
  Manifold Markets: A market for every question
  ☆487Updated this week
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 10 months ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆32Updated last month
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆74Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week
• dmishin / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆215Updated 8 years ago
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆26Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆169Updated 6 months ago
• exyi / anyexec2C
  converts anything executable to C, C# or Python code
  ☆21Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• ambulancja / mariposa
  A toy programming language with time travel
  ☆313Updated last year
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆259Updated 3 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆787Updated last week
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆92Updated last month
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆102Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆162Updated 7 years ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆573Updated 4 years ago
• earthspecies / project
  Roadmaps towards decoding non-human languages.
  ☆298Updated 2 years ago
• guregu / php
  Prolog Home Page
  ☆74Updated 8 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆128Updated 2 weeks ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago