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
  ☆90Updated 5 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆180Updated 3 years ago
• adamyedidia / parsimony
  ☆337Updated 6 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 2 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆197Updated 8 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 4 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆186Updated 11 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆69Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆118Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 8 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆21Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆165Updated last month
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆166Updated 2 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• jeffkaufman / nomic
  Automated nomic
  ☆18Updated 5 years ago
• ajcr / transfinite
  Transfinite ordinal arithmetic and factorisation up to epsilon-zero
  ☆14Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆101Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆86Updated 6 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆101Updated last month
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆166Updated last week
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆34Updated 2 weeks ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago