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
  ☆94Updated 11 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• grey-area / complex-power-tower
  ☆14Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• ericastor / rmzoo
  ☆13Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆137Updated 7 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• 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
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 9 years ago
• twanvl / snake
  Snake playing agents
  ☆78Updated 3 years ago
• mjdominus / anagram-scoring
  Algorithm for locating anagrams and evaluating their quality
  ☆13Updated 8 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated 3 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 4 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• machine-intelligence / provability
  ☆37Updated 9 years ago
• laurajanegraham / surface_area
  ☆146Updated 4 years ago
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆14Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 9 months ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago