Alternatives and similar repositories for MrPython:

Users that are interested in MrPython are comparing it to the libraries listed below

• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆20Updated 2 weeks ago
• LaurentClaessens / mazhe
  (almost) Everything I know in math.
  ☆127Updated last week
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated last month
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• MarcdeFalco / MarcdeFalco.github.io
  Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• prologin / camisole
  ☆70Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 2 weeks ago
• felko / sluggo
  Smart shell that can handle mutliple REPLs
  ☆13Updated 8 years ago
• lenhoanglnh / SmartPoop
  This is the repository of the book "SmartPoop".
  ☆46Updated 2 years ago
• zestedesavoir / latex-template
  LaTeX template used for PDF exports
  ☆16Updated 11 months ago
• ClementGre / PDF4Teachers
  PDF editing software for teachers, focused on productivity. PDF4Teachers keeps recorded previous annotations, and offers features like ma…
  ☆147Updated last month
• pytition / Pytition
  Django app for self-hosted privacy-friendly online petitions
  ☆103Updated 2 weeks ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆32Updated last week
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• luigifcruz / LatexBot
  Automatically generate images from LaTeX expressions on Telegram.
  ☆33Updated 7 years ago
• polymny / polymny
  Web based tool for easy production of educational videos.
  ☆33Updated last year
• Polochon-street / leleleplayer
  ☆13Updated 4 years ago
• patoline / patoline
  Patoline typesetting system
  ☆191Updated 2 years ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 6 years ago
• brunoscherrer / retraites
  simulateur du COR amélioré
  ☆24Updated 4 years ago
• WtfJoke / tectonic-docker
  A tiny docker image for tectonic latex engine with a primed cache
  ☆13Updated 2 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• mangaki / movielens
  Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)
  ☆17Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆99Updated 9 months ago