Alternatives and similar repositories for superperm:

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• MathBases / MathBases
  ☆18Updated 2 weeks ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated 2 months ago
• adamyedidia / parsimony
  ☆342Updated 7 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• teorth / expdb
  Exponent pair database
  ☆46Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆110Updated 10 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated last week
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated last week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆123Updated 7 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 3 months ago
• ericastor / rmzoo
  ☆13Updated last year
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆192Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• thosgood / translations
  some maths papers in English
  ☆18Updated 3 weeks ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 7 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 7 months ago