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 this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆31Updated 4 months ago
• vitkolos / notes-ipp
  poznámky z bakalářské informatiky na MFF UK
  ☆13Updated 3 months ago
• twanvl / snake
  Snake playing agents
  ☆85Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆143Updated last year
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆162Updated 7 years ago
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆13Updated 4 years ago
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆903Updated 5 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• d3scomp / NPRG014
  Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…
  ☆27Updated 2 months ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆461Updated 7 years ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 3 years ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆167Updated 6 months ago
• mame / radiation-hardened-quine
  A robust quine program that works even after any one character is deleted.
  ☆701Updated 4 years ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆388Updated last month
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆572Updated 4 years ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆349Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated last week
• earthspecies / project
  Roadmaps towards decoding non-human languages.
  ☆298Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago